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