ref: 59a8c1a4d995fc2cc9d967ff8ef3bbcdc46e03f8 dir: /sys/src/libthread/xincarm.c/
#include "xincport.h"