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