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)