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