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