pub const CPUID_7_0_EBX_SMEP: u32 = 128;