pub const KVM_MP_STATE_SIPI_RECEIVED: u32 = 4;