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