CR4_PGE
#ifndef CR4_PGE
load_cr4(cr4 & ~CR4_PGE);
load_cr4(cr4 | CR4_PGE);
{ "PGE", CR4_PGE, CR4_PGE },
CR4_DE | CR4_PSE | CR4_PAE | CR4_MCE | CR4_PGE | CR4_FSGSBASE,
if (cr4 & CR4_PGE) {
setcr4(cr4 & ~(ulong_t)CR4_PGE);
if (cr4 & CR4_PGE) {
setcr4(cr4 & ~(ulong_t)CR4_PGE);
(getcr4() & CR4_PGE) != 0)
setcr4(cr4 & ~(ulong_t)CR4_PGE);
setcr4(cr4 | CR4_PGE);
setcr4(cr4 & ~(ulong_t)CR4_PGE);
setcr4(cr4 | CR4_PGE);
vmm_host_cr4 = rcr4() | CR4_PGE;