vbg_gdev           30 drivers/virt/vboxguest/vboxguest_linux.c static struct vbg_dev *vbg_gdev;
vbg_gdev          385 drivers/virt/vboxguest/vboxguest_linux.c 	if (!vbg_gdev)
vbg_gdev          386 drivers/virt/vboxguest/vboxguest_linux.c 		vbg_gdev = gdev;
vbg_gdev          423 drivers/virt/vboxguest/vboxguest_linux.c 	vbg_gdev = NULL;
vbg_gdev          443 drivers/virt/vboxguest/vboxguest_linux.c 	if (vbg_gdev)
vbg_gdev          444 drivers/virt/vboxguest/vboxguest_linux.c 		return vbg_gdev;
vbg_gdev          453 drivers/virt/vboxguest/vboxguest_linux.c 	WARN_ON(gdev != vbg_gdev);