VBG_KERNEL_REQUEST   56 drivers/virt/vboxguest/vboxguest_core.c 			    VBG_KERNEL_REQUEST);
VBG_KERNEL_REQUEST  144 drivers/virt/vboxguest/vboxguest_core.c 			    VBG_KERNEL_REQUEST);
VBG_KERNEL_REQUEST  182 drivers/virt/vboxguest/vboxguest_core.c 			     VBG_KERNEL_REQUEST);
VBG_KERNEL_REQUEST  184 drivers/virt/vboxguest/vboxguest_core.c 			     VBG_KERNEL_REQUEST);
VBG_KERNEL_REQUEST  242 drivers/virt/vboxguest/vboxguest_core.c 			    VBG_KERNEL_REQUEST);
VBG_KERNEL_REQUEST  436 drivers/virt/vboxguest/vboxguest_core.c 			    VBG_KERNEL_REQUEST);
VBG_KERNEL_REQUEST  471 drivers/virt/vboxguest/vboxguest_core.c 					VBG_KERNEL_REQUEST);
VBG_KERNEL_REQUEST  543 drivers/virt/vboxguest/vboxguest_core.c 			    VBG_KERNEL_REQUEST);
VBG_KERNEL_REQUEST  588 drivers/virt/vboxguest/vboxguest_core.c 			    session_termination ? VBG_KERNEL_REQUEST :
VBG_KERNEL_REQUEST  649 drivers/virt/vboxguest/vboxguest_core.c 			    VBG_KERNEL_REQUEST);
VBG_KERNEL_REQUEST  690 drivers/virt/vboxguest/vboxguest_core.c 			    session_termination ? VBG_KERNEL_REQUEST :
VBG_KERNEL_REQUEST  751 drivers/virt/vboxguest/vboxguest_core.c 			    VBG_KERNEL_REQUEST);
VBG_KERNEL_REQUEST  813 drivers/virt/vboxguest/vboxguest_core.c 			      VBG_KERNEL_REQUEST);
VBG_KERNEL_REQUEST  817 drivers/virt/vboxguest/vboxguest_core.c 			      VBG_KERNEL_REQUEST);
VBG_KERNEL_REQUEST  821 drivers/virt/vboxguest/vboxguest_core.c 			      VBG_KERNEL_REQUEST);
VBG_KERNEL_REQUEST  825 drivers/virt/vboxguest/vboxguest_core.c 			      VBG_KERNEL_REQUEST);
VBG_KERNEL_REQUEST  829 drivers/virt/vboxguest/vboxguest_core.c 			      VBG_KERNEL_REQUEST);
VBG_KERNEL_REQUEST  959 drivers/virt/vboxguest/vboxguest_core.c 		vbg_hgcm_disconnect(gdev, VBG_KERNEL_REQUEST,
VBG_KERNEL_REQUEST 1580 drivers/virt/vboxguest/vboxguest_core.c 			    VBG_KERNEL_REQUEST);