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