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