CR4_PSE
#define CR4_PSE 0x00000010
#define CR4_PSE 0x00000010 /* Page size extensions */
#define CR4_PSE __BIT(4) /* Page size extensions */