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