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