pub unsafe extern "C" fn xc_deassign_device( xch: *mut xc_interface, domid: u32, machine_sbdf: u32, ) -> c_int