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