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