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