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