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, ...);