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