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