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