PTTYPE             23 arch/x86/kvm/paging_tmpl.h #if PTTYPE == 64
PTTYPE             42 arch/x86/kvm/paging_tmpl.h #elif PTTYPE == 32
PTTYPE             56 arch/x86/kvm/paging_tmpl.h #elif PTTYPE == PTTYPE_EPT
PTTYPE            124 arch/x86/kvm/paging_tmpl.h #if PTTYPE != PTTYPE_EPT
PTTYPE            205 arch/x86/kvm/paging_tmpl.h #if PTTYPE == PTTYPE_EPT
PTTYPE            247 arch/x86/kvm/paging_tmpl.h #if PTTYPE == PTTYPE_EPT
PTTYPE            285 arch/x86/kvm/paging_tmpl.h #if PTTYPE == 64
PTTYPE            324 arch/x86/kvm/paging_tmpl.h #if PTTYPE == 64
PTTYPE            424 arch/x86/kvm/paging_tmpl.h 	if (PTTYPE == 32 && walker->level == PT_DIRECTORY_LEVEL && is_cpuid_PSE36())
PTTYPE            466 arch/x86/kvm/paging_tmpl.h #if PTTYPE == PTTYPE_EPT
PTTYPE            505 arch/x86/kvm/paging_tmpl.h #if PTTYPE != PTTYPE_EPT
PTTYPE            886 arch/x86/kvm/paging_tmpl.h 	if (PTTYPE == 32)
PTTYPE            967 arch/x86/kvm/paging_tmpl.h #if PTTYPE != PTTYPE_EPT