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