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