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