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