Home
last modified time | relevance | path

Searched refs:cr4_set_bits_and_update_boot (Results 1 – 3 of 3) sorted by relevance

/linux-4.1.27/arch/x86/include/asm/
Dtlbflush.h79 static inline void cr4_set_bits_and_update_boot(unsigned long mask) in cr4_set_bits_and_update_boot() function
/linux-4.1.27/arch/x86/mm/
Dinit.c162 cr4_set_bits_and_update_boot(X86_CR4_PSE); in probe_page_size_mask()
166 cr4_set_bits_and_update_boot(X86_CR4_PGE); in probe_page_size_mask()
/linux-4.1.27/arch/x86/xen/
Denlighten.c1473 cr4_set_bits_and_update_boot(X86_CR4_PSE); in xen_pvh_set_cr_flags()
1476 cr4_set_bits_and_update_boot(X86_CR4_PGE); in xen_pvh_set_cr_flags()