is_pse           4610 arch/x86/kvm/mmu.c 				is_pse(vcpu), guest_cpuid_is_amd(vcpu));
is_pse           4679 arch/x86/kvm/mmu.c 				is_pse(vcpu), true);
is_pse           4905 arch/x86/kvm/mmu.c 	if (root_level == PT32_ROOT_LEVEL && is_pse(vcpu))
is_pse           4974 arch/x86/kvm/mmu.c 	ext.cr4_pse = !!is_pse(vcpu);