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