Hello, there, I have a few newbie QEMU questions. I found that mmu_idx in aarch64-softmmu falls in 8, 10 and 12.
I need some help to understand what they are for. I cannot find which macros are for mmu-idx 8, 10 and 12 at target/arm/cpu.h<https://git.qemu.org/?p=qemu.git;a=blob;f=target/arm/cpu.h;h=89d49cdcb21b6c57de391851d64a523f07bde664;hb=HEAD#l2178>. It looks like all the values from ARMMMUIdx<https://git.qemu.org/?p=qemu.git;a=blob;f=target/arm/cpu.h;h=89d49cdcb21b6c57de391851d64a523f07bde664;hb=HEAD#l2262> are greater than 0x10 (ARM_MMU_IDX_A). Am I looking at the wrong place or missing something for the different MMU modes in aarch64? I'd appreciate your help. Regards