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