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