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