linux_raw_sys::ioctl

Constant KVM_SET_BOOT_CPU_ID

Source 
pub const KVM_SET_BOOT_CPU_ID: u32 = 44664;