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