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