CR4_PSE
{ CR4_PSE, "PSE ", "pse "},
#define CR4_DEFAULT (CR4_PAE|CR4_PGE|CR4_PSE|CR4_OSFXSR|CR4_OSXMMEXCPT)
.vrs_crs[VCPU_REGS_CR4] = CR4_PAE | CR4_PSE,