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