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