PT64_INDEX       1241 arch/x86/kvm/mmu.c 		u32 index = PT64_INDEX(v, level);
PT64_INDEX         31 arch/x86/kvm/paging_tmpl.h 	#define PT_INDEX(addr, level) PT64_INDEX(addr, level)
PT64_INDEX         32 arch/x86/kvm/paging_tmpl.h 	#define SHADOW_PT_INDEX(addr, level) PT64_INDEX(addr, level)
PT64_INDEX         49 arch/x86/kvm/paging_tmpl.h 	#define SHADOW_PT_INDEX(addr, level) PT64_INDEX(addr, level)