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