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