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