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