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