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