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