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