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