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