vbg_info          475 drivers/virt/vboxguest/vboxguest_core.c 	vbg_info("%s: Setting up heartbeat to trigger every %d milliseconds\n",
vbg_info          766 drivers/virt/vboxguest/vboxguest_core.c 	vbg_info("vboxguest: host-version: %s %#x\n", gdev->host_version,
vbg_info         1409 drivers/virt/vboxguest/vboxguest_core.c 	vbg_info("%.*s", (int)(log->hdr.size_in - sizeof(log->hdr)),
vbg_info          400 drivers/virt/vboxguest/vboxguest_linux.c 	vbg_info("vboxguest: misc device minor %d, IRQ %d, I/O port %x, MMIO at %pap (size %pap)\n",
vbg_info           58 drivers/virt/vboxguest/vboxguest_utils.c VBG_LOG(vbg_info, pr_info);
vbg_info           16 include/linux/vbox_utils.h __printf(1, 2) void vbg_info(const char *fmt, ...);