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