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