lcr4
lcr4(rcr4() | CR4_CET);
lcr4(cr4save & ~CR4_PGE);
lcr4(cr4save);
lcr4(rcr4() & ~CR4_CET);
lcr4(rcr4() | CR4_CET);
lcr4(cr4);
lcr4(cr4 & ~CR4_PGE);
lcr4(cr4);
lcr4(cr4save & ~CR4_SMAP);
lcr4(cr4save);
lcr4(rcr4() & ~CR4_CET);
lcr4(rcr4() | CR4_CET);
lcr4(rcr4() & ~CR4_CET);
lcr4(rcr4() | CR4_PKE);
lcr4( rcr4() | CR4_PCIDE );
lcr4(cr4);
lcr4(cr4);
lcr4(rcr4()|cr4);
lcr4(cr4 & ~CR4_PGE);
lcr4(cr4);
lcr4(cr4save & ~CR4_SMAP);
lcr4(cr4save);
lcr4(cr4save & ~CR4_PGE);
lcr4(cr4save);
lcr4(rcr4() | CR4_TSD);
lcr4(rcr4() | CR4_OSFXSR);
lcr4(rcr4() | CR4_OSXMMEXCPT);
lcr4(rcr4() | CR4_PGE); /* enable hardware (via %cr4) */
static __inline void lcr4(u_int);