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