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);