Symbol: vbox_report_hotplug
drivers/gpu/drm/vboxvideo/vbox_drv.h
145
void vbox_report_hotplug(struct vbox_private *vbox);
drivers/gpu/drm/vboxvideo/vbox_irq.c
54
vbox_report_hotplug(vbox);