kvm_phys_to_vttbr  419 arch/arm/include/asm/kvm_mmu.h #define kvm_phys_to_vttbr(addr)		(addr)
kvm_phys_to_vttbr  569 arch/arm64/include/asm/kvm_mmu.h #define kvm_phys_to_vttbr(addr)		phys_to_ttbr(addr)