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