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);