PT_DIRECTORY_LEVEL 195 arch/x86/kvm/paging_tmpl.h if (walker->level == PT_DIRECTORY_LEVEL
PT_DIRECTORY_LEVEL 309 arch/x86/kvm/paging_tmpl.h if (largepage && level == PT_DIRECTORY_LEVEL)
PT_DIRECTORY_LEVEL 322 arch/x86/kvm/paging_tmpl.h && walker->level == PT_DIRECTORY_LEVEL) {
PT_DIRECTORY_LEVEL 411 arch/x86/kvm/paging_tmpl.h if (walker.level == PT_DIRECTORY_LEVEL) {