PTTYPE 25 arch/x86/kvm/paging_tmpl.h #if PTTYPE == 64 PTTYPE 42 arch/x86/kvm/paging_tmpl.h #elif PTTYPE == 32 PTTYPE 114 arch/x86/kvm/paging_tmpl.h #if PTTYPE == 64 PTTYPE 137 arch/x86/kvm/paging_tmpl.h #if PTTYPE == 64 PTTYPE 173 arch/x86/kvm/paging_tmpl.h #if PTTYPE == 64 PTTYPE 197 arch/x86/kvm/paging_tmpl.h && (PTTYPE == 64 || is_pse(vcpu))) { PTTYPE 200 arch/x86/kvm/paging_tmpl.h if (PTTYPE == 32 && is_cpuid_PSE36()) PTTYPE 480 arch/x86/kvm/paging_tmpl.h || (PTTYPE == 32 && sp->role.level > PT_PAGE_TABLE_LEVEL)) { PTTYPE 486 arch/x86/kvm/paging_tmpl.h if (PTTYPE == 32) {