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