kvm_phys_to_vttbr  430 arch/arm/include/asm/kvm_mmu.h 	return kvm_phys_to_vttbr(baddr) | vmid_field;
kvm_phys_to_vttbr  603 arch/arm64/include/asm/kvm_mmu.h 	return kvm_phys_to_vttbr(baddr) | vmid_field | cnp;