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