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