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