rcr4
cr4 = rcr4();
u_long rcr4(void);
u_int rcr4(void);
if (rcr4() & CR4_XSAVE)
if (rcr4() & CR4_XSAVE) {
vmm_host_cr4 = rcr4() | CR4_PGE;