vbg_debug        1344 drivers/virt/vboxguest/vboxguest_core.c 		vbg_debug("VBG_IOCTL_HGCM_CALL: hdr.size_in %d required size is %zd\n",
vbg_debug        1376 drivers/virt/vboxguest/vboxguest_core.c 		vbg_debug("VBG_IOCTL_HGCM_CALL: INVALID handle. u32Client=%#08x\n",
vbg_debug        1563 drivers/virt/vboxguest/vboxguest_core.c 	vbg_debug("VGDrvCommonIoCtl: Unknown req %#08x\n", req);
vbg_debug         159 drivers/virt/vboxguest/vboxguest_linux.c 		vbg_debug("%s: too much output data %zu > %zu\n",
vbg_debug          62 drivers/virt/vboxguest/vboxguest_utils.c VBG_LOG(vbg_debug, pr_debug);
vbg_debug          22 include/linux/vbox_utils.h __printf(1, 2) void vbg_debug(const char *fmt, ...);