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