V3D_MMU_DEBUG_INFO
REGDEF(V3D_GEN_33, V3D_GEN_71, V3D_MMU_DEBUG_INFO),
mmu_debug = V3D_READ(V3D_MMU_DEBUG_INFO);