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