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