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