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