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