SMCTT_MEM_ADDR
va->va_maddr != SMCTT_MEM_BASE + SMCTT_MEM_ADDR)
if (bus_space_map(memt, SMCTT_MEM_BASE + SMCTT_MEM_ADDR, memsize,
va->va_maddr = SMCTT_MEM_BASE + SMCTT_MEM_ADDR;