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