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