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