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