vbg_core_close_session  166 drivers/virt/vboxguest/vboxguest_core.h void vbg_core_close_session(struct vbg_session *session);
vbg_core_close_session   91 drivers/virt/vboxguest/vboxguest_linux.c 	vbg_core_close_session(filp->private_data);