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