pub type vfio_device_mig_state = c_uint;