ARCH_SET_CPUID

linux_uapi::x86_64

Constant ARCH_SET_CPUID 

Source 
pub const ARCH_SET_CPUID: u32 = 4114;