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