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