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