CR4_PGE
#define CR4_PGE 0x00000080 /* Page global enable */
#define CR4_PGE 0x00000080 /* Page global enable */
#undef CR4_PGE
#define CR4_PGE 0x0080 /* page global enable */
#define CR4_PGE 0x0080 /* page global enable */