VBG_IOCTL_HDR_TYPE_DEFAULT 1210 drivers/virt/vboxguest/vboxguest_core.c 	if (hdr->type == VBG_IOCTL_HDR_TYPE_DEFAULT)
VBG_IOCTL_HDR_TYPE_DEFAULT 1525 drivers/virt/vboxguest/vboxguest_core.c 	if (hdr->type != VBG_IOCTL_HDR_TYPE_DEFAULT)
VBG_IOCTL_HDR_TYPE_DEFAULT  137 drivers/virt/vboxguest/vboxguest_linux.c 		buf = vbg_req_alloc(size, VBG_IOCTL_HDR_TYPE_DEFAULT,