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