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