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