Constant x86_64::cpuid::ECX_EPB_SHIFT

pub const ECX_EPB_SHIFT: u32 = 3;