vbg_core_exit     164 drivers/virt/vboxguest/vboxguest_core.h void vbg_core_exit(struct vbg_dev *gdev);
vbg_core_exit     411 drivers/virt/vboxguest/vboxguest_linux.c 	vbg_core_exit(gdev);
vbg_core_exit     430 drivers/virt/vboxguest/vboxguest_linux.c 	vbg_core_exit(gdev);