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