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