fn remove_hotplug_device<V: VmArch, Vcpu: VcpuArch>(
linux: &mut RunnableLinuxVm<V, Vcpu>,
sys_allocator: &mut SystemAllocator,
iommu_host_tube: Option<&Tube>,
device: &HotPlugDeviceInfo
) -> Result<()>
fn remove_hotplug_device<V: VmArch, Vcpu: VcpuArch>(
linux: &mut RunnableLinuxVm<V, Vcpu>,
sys_allocator: &mut SystemAllocator,
iommu_host_tube: Option<&Tube>,
device: &HotPlugDeviceInfo
) -> Result<()>