vbox_report_hotplug  173 drivers/gpu/drm/vboxvideo/vbox_drv.h void vbox_report_hotplug(struct vbox_private *vbox);
vbox_report_hotplug   52 drivers/gpu/drm/vboxvideo/vbox_irq.c 		vbox_report_hotplug(vbox);