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