SMCTT_IO_ADDR
va->va_iobase != SMCTT_IOE_BASE + SMCTT_IO_ADDR)
if (bus_space_map(asict, SMCTT_IOE_BASE + SMCTT_IO_ADDR, WE_NPORTS,
if (bus_space_map(asict, SMCTT_IOO_BASE + SMCTT_IO_ADDR, WE_NPORTS,
va->va_iobase = SMCTT_IOE_BASE + SMCTT_IO_ADDR;