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