vhc_virtdev_unplug 133 uspace/drv/bus/usb/vhc/conndev.c vhc_virtdev_unplug(vhc, plugged_device_handle); vhc_virtdev_unplug 97 uspace/drv/bus/usb/vhc/vhcd.h void vhc_virtdev_unplug(vhc_data_t *, uintptr_t);