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