Searched refs:X86_CR4_PSE (Results 1 – 7 of 7) sorted by relevance
96 #define X86_CR4_PSE _BITUL(X86_CR4_PSE_BIT) macro
72 return kvm_read_cr4_bits(vcpu, X86_CR4_PSE); in is_pse()
680 unsigned long pdptr_bits = X86_CR4_PGE | X86_CR4_PSE | X86_CR4_PAE | in kvm_set_cr4()
3592 hw_cr4 |= X86_CR4_PSE; in vmx_set_cr4()
147 cr4_set_bits_and_update_boot(X86_CR4_PSE); in probe_page_size_mask()
1101 cr4 &= ~X86_CR4_PSE; in xen_write_cr4()1530 cr4_set_bits_and_update_boot(X86_CR4_PSE); in xen_pvh_set_cr_flags()
56 | X86_CR4_PSE | X86_CR4_PAE | X86_CR4_MCE \