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