idmap_idx 390 arch/arm64/include/asm/kvm_mmu.h int idmap_idx; idmap_idx 408 arch/arm64/include/asm/kvm_mmu.h idmap_idx = hyp_idmap_start >> VA_BITS; idmap_idx 409 arch/arm64/include/asm/kvm_mmu.h VM_BUG_ON(pgd_val(merged_hyp_pgd[idmap_idx])); idmap_idx 411 arch/arm64/include/asm/kvm_mmu.h merged_hyp_pgd[idmap_idx] = __pgd(pgd_addr | PMD_TYPE_TABLE);