SHADOW_PT_INDEX    32 arch/x86/kvm/paging_tmpl.h #define SHADOW_PT_INDEX(addr, level) PT64_INDEX(addr, level)
SHADOW_PT_INDEX    49 arch/x86/kvm/paging_tmpl.h #define SHADOW_PT_INDEX(addr, level) PT64_INDEX(addr, level)
SHADOW_PT_INDEX   507 arch/x86/kvm/paging_tmpl.h #undef SHADOW_PT_INDEX