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