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