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