vbg_heartbeat_host_config  460 drivers/virt/vboxguest/vboxguest_core.c 	ret = vbg_heartbeat_host_config(gdev, false);
vbg_heartbeat_host_config  464 drivers/virt/vboxguest/vboxguest_core.c 	ret = vbg_heartbeat_host_config(gdev, true);
vbg_heartbeat_host_config  489 drivers/virt/vboxguest/vboxguest_core.c 	vbg_heartbeat_host_config(gdev, false);