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