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