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