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