CR4_PGE
cr4 |= CR4_PGE;
load_cr4(cr4 & ~CR4_PGE);
#ifndef CR4_PGE
load_cr4(cr4 & ~CR4_PGE);
load_cr4(cr4 | CR4_PGE);
vmm_host_cr4 = rcr4() | CR4_PGE;
ncr4 |= CR4_PGE;
load_cr4(cr4 & ~CR4_PGE);
load_cr4(cr4 & ~CR4_PGE);