ref: 4198bb566e442f4bcca2e9625e669dc6a2d17385 dir: /sys/src/libthread/xincarm.c/
#include "xincport.h"