pub const CR4_FSGSBASE_MASK: u32 = 65536;