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