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