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