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