ipa_shift         576 arch/arm64/include/asm/kvm_mmu.h static inline int arm64_vttbr_x(u32 ipa_shift, u32 levels)
ipa_shift         578 arch/arm64/include/asm/kvm_mmu.h 	int x = ARM64_VTTBR_X(ipa_shift, levels);
ipa_shift         583 arch/arm64/include/asm/kvm_mmu.h static inline u64 vttbr_baddr_mask(u32 ipa_shift, u32 levels)
ipa_shift         585 arch/arm64/include/asm/kvm_mmu.h 	unsigned int x = arm64_vttbr_x(ipa_shift, levels);