idmap_addr         27 arch/arm64/kvm/va_layout.c 	phys_addr_t idmap_addr = __pa_symbol(__hyp_idmap_text_start);
idmap_addr         32 arch/arm64/kvm/va_layout.c 	hyp_va_msb  = idmap_addr & BIT(vabits_actual - 1);