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