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