Symbol: IA32_CR4_GLOBAL_PAGES
src/system/kernel/arch/ppc/paging/460/PPCPagingMethod460.cpp
141
x86_write_cr4(x86_read_cr4() | IA32_CR4_GLOBAL_PAGES);
src/system/kernel/arch/ppc/paging/classic/PPCPagingMethodClassic.cpp
141
x86_write_cr4(x86_read_cr4() | IA32_CR4_GLOBAL_PAGES);
src/system/kernel/arch/x86/arch_cpu.cpp
1997
if ((flags & IA32_CR4_GLOBAL_PAGES) != 0) {
src/system/kernel/arch/x86/arch_cpu.cpp
2000
x86_write_cr4(flags & ~IA32_CR4_GLOBAL_PAGES);
src/system/kernel/arch/x86/arch_cpu.cpp
2001
x86_write_cr4(flags | IA32_CR4_GLOBAL_PAGES);
src/system/kernel/arch/x86/paging/32bit/X86PagingMethod32Bit.cpp
334
x86_write_cr4(x86_read_cr4() | IA32_CR4_GLOBAL_PAGES);
src/system/kernel/arch/x86/paging/pae/X86PagingMethodPAE.cpp
178
x86_write_cr4(x86_read_cr4() | IA32_CR4_PAE | IA32_CR4_GLOBAL_PAGES);