Searched refs:cr4_set_bits_and_update_boot (Results 1 – 3 of 3) sorted by relevance
143 static inline void cr4_set_bits_and_update_boot(unsigned long mask) in cr4_set_bits_and_update_boot() function
165 cr4_set_bits_and_update_boot(X86_CR4_PSE); in probe_page_size_mask()169 cr4_set_bits_and_update_boot(X86_CR4_PGE); in probe_page_size_mask()
1492 cr4_set_bits_and_update_boot(X86_CR4_PSE); in xen_pvh_set_cr_flags()1495 cr4_set_bits_and_update_boot(X86_CR4_PGE); in xen_pvh_set_cr_flags()