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