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