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