pub const VFIO_EEH_PE_STATE_STOPPED: u32 = 2;