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