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