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