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