ref: 492957e3baffd0f3d8afeefdc985d68ab8594f4b dir: /sys/src/libthread/xincarm.c/
#include "xincport.h"