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