LIMA_MMU_DTE_ADDR
mmu_write(LIMA_MMU_DTE_ADDR, 0xCAFEBABE);
if (mmu_read(LIMA_MMU_DTE_ADDR) != 0xCAFEB000) {
mmu_write(LIMA_MMU_DTE_ADDR, vm->pd.dma);
mmu_write(LIMA_MMU_DTE_ADDR, 0xCAFEBABE);
LIMA_MMU_DTE_ADDR, v, v == 0);
mmu_write(LIMA_MMU_DTE_ADDR, dev->empty_vm->pd.dma);
LIMA_MMU_DTE_ADDR, v, v == 0);
mmu_write(LIMA_MMU_DTE_ADDR, dev->empty_vm->pd.dma);