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