rcr4
u_int rcr4(void);
#define x86_get_cr4() rcr4()
#define x86_get_cr4() rcr4()
cr4 = rcr4();
load_cr4(rcr4() | CR4_OSFXSR | CR4_OSXMMEXCPT);
load_cr4(rcr4() | CR4_OSXSAVE);
load_cr4(rcr4() | CR4_OSFXSR);
load_cr4(rcr4() | CR4_PGE | CR4_PSE);
cr4 = rcr4();
load_cr4(rcr4() | CR4_PSE);
load_cr4(rcr4() | CR4_SMAP);
load_cr4(rcr4() | CR4_SMEP);
load_cr4(rcr4() & ~CR4_SMEP);
load_cr4(rcr4() | CR4_SMEP);