sys/arch/amd64/amd64/amd64_mem.c

303

if (cr4save & CR4_PGE)

sys/arch/amd64/amd64/amd64_mem.c

304

lcr4(cr4save & ~CR4_PGE);

sys/arch/amd64/amd64/cpu.c

881

lcr4(cr4 & ~CR4_PGE);

sys/arch/amd64/amd64/vmm_machdep.c

8610

{ CR4_PGE, "PGE ", "pge "},

sys/arch/amd64/include/specialreg.h

1646

#define CR4_DEFAULT (CR4_PAE|CR4_PGE|CR4_PSE|CR4_OSFXSR|CR4_OSXMMEXCPT)

sys/arch/i386/i386/cpu.c

417

cr4 |= CR4_PGE; /* enable global TLB caching */

sys/arch/i386/i386/cpu.c

466

lcr4(cr4 & ~CR4_PGE);

sys/arch/i386/i386/i686_mem.c

302

if (cr4save & CR4_PGE)

sys/arch/i386/i386/i686_mem.c

303

lcr4(cr4save & ~CR4_PGE);

sys/arch/i386/i386/pmap.c

1001

lcr4(rcr4() | CR4_PGE); /* enable hardware (via %cr4) */