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