pub const CR4_OSFXSR_SHIFT: u32 = 9;