Searched refs:X86_CR4_PSE (Results 1 – 8 of 8) sorted by relevance
95 #define X86_CR4_PSE _BITUL(X86_CR4_PSE_BIT) macro
75 return kvm_read_cr4_bits(vcpu, X86_CR4_PSE); in is_pse()
741 unsigned long pdptr_bits = X86_CR4_PGE | X86_CR4_PSE | X86_CR4_PAE | in kvm_set_cr4()
4159 hw_cr4 |= X86_CR4_PSE; in vmx_set_cr4()
195 movl $(X86_CR4_PAE | X86_CR4_PSE), %ecx
177 cr4_set_bits_and_update_boot(X86_CR4_PSE); in probe_page_size_mask()
1033 cr4 &= ~(X86_CR4_PGE | X86_CR4_PSE | X86_CR4_PCE); in xen_write_cr4()1510 cr4_set_bits_and_update_boot(X86_CR4_PSE); in xen_pvh_set_cr_flags()
86 | X86_CR4_PSE | X86_CR4_PAE | X86_CR4_MCE \