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