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