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