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