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