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