is_cpuid_PSE36   4550 arch/x86/kvm/mmu.c 		if (is_cpuid_PSE36())
is_cpuid_PSE36    424 arch/x86/kvm/paging_tmpl.h 	if (PTTYPE == 32 && walker->level == PT_DIRECTORY_LEVEL && is_cpuid_PSE36())