PT_INDEX          151 arch/x86/kvm/paging_tmpl.h 		index = PT_INDEX(addr, walker->level);
PT_INDEX          199 arch/x86/kvm/paging_tmpl.h 			walker->gfn += PT_INDEX(addr, PT_PAGE_TABLE_LEVEL);