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