CR4_DE
{ "DE", CR4_DE, CR4_DE },
CR4_DE | CR4_PSE | CR4_PAE | CR4_MCE | CR4_PGE | CR4_FSGSBASE,
setcr4(getcr4() | CR4_DE);