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