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