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