Constant vfio_device_mig_state_VFIO_DEVICE_STATE_NR

pub const vfio_device_mig_state_VFIO_DEVICE_STATE_NR: vfio_device_mig_state = 8;