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