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