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