x86_64::cpuid

Constant ECX_EPB_SHIFT

Source 
pub const ECX_EPB_SHIFT: u32 = 3;