vbg_req_perform identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/virt/vboxguest/vboxguest_core.h, line 208 (as a prototype)

Defined in 1 files as a function:

drivers/virt/vboxguest/vboxguest_utils.c, line 98 (as a function)

Referenced in 3 files:

Smatch caller information:

drivers/virt/vboxguest/vboxguest_core.c vbg_balloon_deflate() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
PARAM_VALUE	0	gdev->mem_balloon.change_req	4096-ptr_max
PARAM_VALUE	0	gdev->mem_balloon.change_req->header.size	2080
PARAM_VALUE	0	gdev->mem_balloon.change_req->inflate	0
PARAM_VALUE	0	gdev->mem_balloon.change_req->pages	256
PARAM_VALUE	0	gdev->mem_balloon.change_req->phys_page	4096-ptr_max
PARAM_VALUE	0	gdev->mem_balloon.get_req	4096-ptr_max
PARAM_VALUE	0	gdev->mem_balloon.get_req->event_ack	64
PARAM_VALUE	0	gdev->mem_balloon.pages	4096-ptr_max
PARAM_VALUE	1	req	4096-ptr_max
BUF_SIZE	0	gdev->mem_balloon.pages	(-1)-s32max
DATA_SOURCE	0	gdev	$0
NO_OVERFLOW_SIMPLE	0	gdev->mem_balloon.max_chunks
HALF_LOCKED2		&pool->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_balloon_inflate() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
PARAM_VALUE	0	gdev->mem_balloon.change_req	4096-ptr_max
PARAM_VALUE	0	gdev->mem_balloon.change_req->header.size	2080
PARAM_VALUE	0	gdev->mem_balloon.change_req->inflate	1
PARAM_VALUE	0	gdev->mem_balloon.change_req->pages	256
PARAM_VALUE	0	gdev->mem_balloon.change_req->phys_page	4096-ptr_max
PARAM_VALUE	0	gdev->mem_balloon.get_req	4096-ptr_max
PARAM_VALUE	0	gdev->mem_balloon.get_req->event_ack	64
PARAM_VALUE	1	req	4096-ptr_max
BUF_SIZE	0	gdev->mem_balloon.pages	(-1)-s32max
DATA_SOURCE	0	gdev	$0
NO_OVERFLOW_SIMPLE	0	gdev->mem_balloon.max_chunks
HALF_LOCKED2		&pool->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_balloon_work() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
PARAM_VALUE	0	gdev->mem_balloon.get_req	4096-ptr_max
PARAM_VALUE	0	gdev->mem_balloon.get_req->event_ack	64
PARAM_VALUE	1	req	4096-ptr_max
HALF_LOCKED2		&pool->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_core_isr() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
PARAM_VALUE	0	gdev->ack_events_req	4096-ptr_max
PARAM_VALUE	0	gdev->ack_events_req->events	0
PARAM_VALUE	0	gdev->ack_events_req->header.rc	(-225)
PARAM_VALUE	0	gdev->mmio	4096-ptr_max
PARAM_VALUE	0	gdev->mmio->V.V1_04.have_events	1-255
PARAM_VALUE	1	req	4096-ptr_max
DATA_SOURCE	0	gdev	$1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		&desc->request_mutex
HALF_LOCKED2		flags

drivers/virt/vboxguest/vboxguest_core.c vbg_core_set_mouse_status() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev->input->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	gdev->input->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	gdev->input->poller->poll_interval	0-4294967295
PARAM_VALUE	0	gdev->input->poller->poll_interval_max	0-4294967295
PARAM_VALUE	0	gdev->misc_device.this_device->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	gdev->misc_device_user.this_device->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	*gdev->host_version	0-255
PARAM_VALUE	1	req	18379471554275704832,18446612682070032384
BUF_SIZE	0	gdev	s32min-(-2),1-s32max
BUF_SIZE	0	gdev	s32min-(-2),1-s32max
BUF_SIZE	0	gdev->dev	(-1),1616
BUF_SIZE	0	gdev->misc_device.fops	(-1),272
BUF_SIZE	0	gdev->misc_device.name	(-1),10
BUF_SIZE	0	gdev->misc_device_user.fops	(-1),272
BUF_SIZE	0	gdev->misc_device_user.name	(-1),9
DATA_SOURCE	0	gdev	$0
DATA_SOURCE	1	req	r vbg_req_alloc
STR_LEN	0	gdev->misc_device.name	(-1),9
STR_LEN	0	gdev->misc_device_user.name	(-1),8
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE	0	gdev->input->max_vals
UNITS	0	gdev	unit_byte
HALF_LOCKED2		_T->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_guest_mappings_exit() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
PARAM_VALUE	0	gdev->guest_mappings	1-u64max
PARAM_VALUE	0	gdev->heartbeat_timer.entry.pprev	0
PARAM_VALUE	0	gdev->heartbeat_timer.flags	0-4194302
PARAM_VALUE	0	gdev->heartbeat_timer.function	0
PARAM_VALUE	0	gdev->input->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	gdev->input->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	gdev->input->poller->poll_interval	0-4294967295
PARAM_VALUE	0	gdev->input->poller->poll_interval_max	0-4294967295
PARAM_VALUE	0	gdev->misc_device.list.next->prev	4096-ptr_max
PARAM_VALUE	0	gdev->misc_device.list.prev->next	4096-ptr_max
PARAM_VALUE	0	gdev->misc_device.minor	s32min-255
PARAM_VALUE	0	gdev->misc_device.this_device->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	gdev->misc_device_user.list.next->prev	4096-ptr_max
PARAM_VALUE	0	gdev->misc_device_user.list.prev->next	4096-ptr_max
PARAM_VALUE	0	gdev->misc_device_user.minor	s32min-255
PARAM_VALUE	0	gdev->misc_device_user.this_device->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	*gdev->host_version	0-255
PARAM_VALUE	0	*gdev->input->rep	s32min-s32max
PARAM_VALUE	1	req	18379471554275704832,18446612682070032384
BUF_SIZE	0	gdev	s32min-(-2),1-s32max
BUF_SIZE	0	gdev	s32min-(-2),1-s32max
BUF_SIZE	0	gdev->dev	(-1),1616
BUF_SIZE	0	gdev->misc_device.fops	(-1),272
BUF_SIZE	0	gdev->misc_device.name	(-1),10
BUF_SIZE	0	gdev->misc_device_user.fops	(-1),272
BUF_SIZE	0	gdev->misc_device_user.name	(-1),9
CAPPED_DATA	0	gdev	1
DATA_SOURCE	0	gdev	$0
DATA_SOURCE	1	req	r vbg_req_alloc
FUZZY_MAX	0	gdev->misc_device.minor	255
FUZZY_MAX	0	gdev->misc_device_user.minor	255
STR_LEN	0	gdev->misc_device.name	(-1),9
STR_LEN	0	gdev->misc_device_user.name	(-1),8
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE	0	gdev->input->max_vals
UNITS	0	gdev	unit_byte

drivers/virt/vboxguest/vboxguest_core.c vbg_guest_mappings_init() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
PARAM_VALUE	0	gdev->ack_events_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->cancel_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->cancel_req_mutex.dep_map->name	0-255
PARAM_VALUE	0	gdev->cancel_req_mutex.first_waiter	0
PARAM_VALUE	0	gdev->cancel_req_mutex.magic	4096-ptr_max
PARAM_VALUE	0	gdev->cancel_req_mutex.osq.tail.counter	0
PARAM_VALUE	0	gdev->cancel_req_mutex.owner.counter	0
PARAM_VALUE	0	gdev->dev	4096-ptr_max
PARAM_VALUE	0	gdev->dev->devres_head.prev	4096-ptr_max
PARAM_VALUE	0	gdev->event_filter_host	u32max
PARAM_VALUE	0	gdev->event_wq.head.next	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	gdev->fixed_events	514
PARAM_VALUE	0	gdev->guest_caps_host	u32max
PARAM_VALUE	0	gdev->heartbeat_timer.entry.pprev	0
PARAM_VALUE	0	gdev->heartbeat_timer.flags	0-4194302
PARAM_VALUE	0	gdev->heartbeat_timer.lockdep_map->name	0-255
PARAM_VALUE	0	gdev->hgcm_wq.head.next	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	gdev->mem_balloon.change_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->mem_balloon.get_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->misc_device.fops	3468068597793710080
PARAM_VALUE	0	gdev->misc_device.minor	255
PARAM_VALUE	0	gdev->misc_device.name	6594749389493854208
PARAM_VALUE	0	gdev->misc_device_user.fops	3410439689804779520
PARAM_VALUE	0	gdev->misc_device_user.minor	255
PARAM_VALUE	0	gdev->misc_device_user.name	157592475499134976
PARAM_VALUE	0	gdev->mmio	4096-ptr_max
PARAM_VALUE	0	gdev->mmio->size	32-u32max
PARAM_VALUE	0	gdev->mmio->version	1
PARAM_VALUE	0	gdev->mouse_status_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->session_mutex.dep_map->name	0-255
PARAM_VALUE	0	gdev->session_mutex.first_waiter	0
PARAM_VALUE	0	gdev->session_mutex.magic	4096-ptr_max
PARAM_VALUE	0	gdev->session_mutex.osq.tail.counter	0
PARAM_VALUE	0	gdev->session_mutex.owner.counter	0
PARAM_VALUE	0	*gdev->host_version	0-255
PARAM_VALUE	1	req	18379471554275704832,18446612682070032384
BUF_SIZE	0	gdev	1368
BUF_SIZE	0	gdev->dev	1616
BUF_SIZE	0	gdev->misc_device.fops	272
BUF_SIZE	0	gdev->misc_device.name	10
BUF_SIZE	0	gdev->misc_device_user.fops	272
BUF_SIZE	0	gdev->misc_device_user.name	9
CAPPED_DATA	0	gdev->mmio->size	1
DATA_SOURCE	0	gdev	$0
DATA_SOURCE	1	req	r vbg_req_alloc
STR_LEN	0	gdev->misc_device.name	9
STR_LEN	0	gdev->misc_device_user.name	8
TERMINATED	0	gdev->misc_device.name	1
TERMINATED	0	gdev->misc_device_user.name	1
MEM_ZERO	0	gdev
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		&pool->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_guest_mappings_init() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
PARAM_VALUE	0	gdev->ack_events_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->cancel_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->cancel_req_mutex.dep_map->name	0-255
PARAM_VALUE	0	gdev->cancel_req_mutex.first_waiter	0
PARAM_VALUE	0	gdev->cancel_req_mutex.magic	4096-ptr_max
PARAM_VALUE	0	gdev->cancel_req_mutex.osq.tail.counter	0
PARAM_VALUE	0	gdev->cancel_req_mutex.owner.counter	0
PARAM_VALUE	0	gdev->dev	4096-ptr_max
PARAM_VALUE	0	gdev->dev->devres_head.prev	4096-ptr_max
PARAM_VALUE	0	gdev->event_filter_host	u32max
PARAM_VALUE	0	gdev->event_wq.head.next	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	gdev->fixed_events	514
PARAM_VALUE	0	gdev->guest_caps_host	u32max
PARAM_VALUE	0	gdev->guest_mappings_dummy_page	4096-ptr_max
PARAM_VALUE	0	gdev->guest_mappings_dummy_page->_refcount.counter	1
PARAM_VALUE	0	gdev->heartbeat_timer.entry.pprev	0
PARAM_VALUE	0	gdev->heartbeat_timer.flags	0-4194302
PARAM_VALUE	0	gdev->heartbeat_timer.lockdep_map->name	0-255
PARAM_VALUE	0	gdev->hgcm_wq.head.next	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	gdev->mem_balloon.change_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->mem_balloon.get_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->misc_device.fops	3468068597793710080
PARAM_VALUE	0	gdev->misc_device.minor	255
PARAM_VALUE	0	gdev->misc_device.name	6594749389493854208
PARAM_VALUE	0	gdev->misc_device_user.fops	3410439689804779520
PARAM_VALUE	0	gdev->misc_device_user.minor	255
PARAM_VALUE	0	gdev->misc_device_user.name	157592475499134976
PARAM_VALUE	0	gdev->mmio	4096-ptr_max
PARAM_VALUE	0	gdev->mmio->size	32-u32max
PARAM_VALUE	0	gdev->mmio->version	1
PARAM_VALUE	0	gdev->mouse_status_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->session_mutex.dep_map->name	0-255
PARAM_VALUE	0	gdev->session_mutex.first_waiter	0
PARAM_VALUE	0	gdev->session_mutex.magic	4096-ptr_max
PARAM_VALUE	0	gdev->session_mutex.osq.tail.counter	0
PARAM_VALUE	0	gdev->session_mutex.owner.counter	0
PARAM_VALUE	0	*gdev->host_version	0-255
PARAM_VALUE	1	req	18379471554275704832,18446612682070032384
BUF_SIZE	0	gdev	1368
BUF_SIZE	0	gdev->dev	1616
BUF_SIZE	0	gdev->misc_device.fops	272
BUF_SIZE	0	gdev->misc_device.name	10
BUF_SIZE	0	gdev->misc_device_user.fops	272
BUF_SIZE	0	gdev->misc_device_user.name	9
CAPPED_DATA	0	gdev->mmio->size	1
DATA_SOURCE	0	gdev	$0
DATA_SOURCE	1	req	r vbg_req_alloc
STR_LEN	0	gdev->misc_device.name	9
STR_LEN	0	gdev->misc_device_user.name	8
TERMINATED	0	gdev->misc_device.name	1
TERMINATED	0	gdev->misc_device_user.name	1
MEM_ZERO	0	gdev
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		&pool->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_heartbeat_host_config() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
PARAM_VALUE	0	gdev->heartbeat_timer.entry.pprev	0
PARAM_VALUE	0	gdev->heartbeat_timer.flags	0-4194302
PARAM_VALUE	0	gdev->input->dev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	gdev->input->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	gdev->input->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	gdev->input->poller->poll_interval	0-4294967295
PARAM_VALUE	0	gdev->input->poller->poll_interval_max	0-4294967295
PARAM_VALUE	0	gdev->misc_device.minor	s32min-255
PARAM_VALUE	0	gdev->misc_device.this_device->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	gdev->misc_device_user.minor	s32min-255
PARAM_VALUE	0	gdev->misc_device_user.this_device->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	*gdev->host_version	0-255
PARAM_VALUE	1	req	18379471554275704832,18446612682070032384
BUF_SIZE	0	gdev	s32min-(-1),1-s32max
BUF_SIZE	0	gdev	s32min-(-1),1-s32max
BUF_SIZE	0	gdev->dev	(-1),1616
BUF_SIZE	0	gdev->misc_device.fops	(-1),272
BUF_SIZE	0	gdev->misc_device.name	(-1),10
BUF_SIZE	0	gdev->misc_device_user.fops	(-1),272
BUF_SIZE	0	gdev->misc_device_user.name	(-1),9
DATA_SOURCE	0	gdev	$0
DATA_SOURCE	1	req	r vbg_req_alloc
FUZZY_MAX	0	gdev->misc_device.minor	255
FUZZY_MAX	0	gdev->misc_device_user.minor	255
STR_LEN	0	gdev->misc_device.name	(-1),9
STR_LEN	0	gdev->misc_device_user.name	(-1),8
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE	0	gdev->input->max_vals
UNITS	0	gdev	unit_byte

drivers/virt/vboxguest/vboxguest_core.c vbg_heartbeat_timer() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/virt/vboxguest/vboxguest_core.c vbg_ioctl_vmmrequest() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	1	req	4096-ptr_max
PARAM_VALUE	1	req->request_type	1-5,10,30,41-42,51-55,57,59,70-74,80-81,100-101,110,112,150,200
PARAM_VALUE	1	req->size_in	24-2147483671
PARAM_VALUE	1	req->size_out	0,24-4294967295
PARAM_VALUE	1	req->version	65537
BUF_SIZE	1	req	(-1),24-16777216
BUF_SIZE	1	req	(-1),24-16777216
DATA_SOURCE	0	gdev	$0
DATA_SOURCE	1	req	$2
NOCHECK_CALL

drivers/virt/vboxguest/vboxguest_core.c vbg_ioctl_write_core_dump() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	1	req	18379471554275704832,18446612682070032384
DATA_SOURCE	0	gdev	$0
DATA_SOURCE	1	req	r vbg_req_alloc

drivers/virt/vboxguest/vboxguest_core.c vbg_query_host_version() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
PARAM_VALUE	0	gdev->ack_events_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->cancel_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->cancel_req_mutex.dep_map->name	0-255
PARAM_VALUE	0	gdev->cancel_req_mutex.first_waiter	0
PARAM_VALUE	0	gdev->cancel_req_mutex.magic	4096-ptr_max
PARAM_VALUE	0	gdev->cancel_req_mutex.osq.tail.counter	0
PARAM_VALUE	0	gdev->cancel_req_mutex.owner.counter	0
PARAM_VALUE	0	gdev->dev	4096-ptr_max
PARAM_VALUE	0	gdev->dev->devres_head.prev	4096-ptr_max
PARAM_VALUE	0	gdev->event_filter_host	u32max
PARAM_VALUE	0	gdev->event_wq.head.next	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	gdev->fixed_events	514
PARAM_VALUE	0	gdev->guest_caps_host	u32max
PARAM_VALUE	0	gdev->heartbeat_timer.entry.pprev	0
PARAM_VALUE	0	gdev->heartbeat_timer.flags	0-4194302
PARAM_VALUE	0	gdev->heartbeat_timer.lockdep_map->name	0-255
PARAM_VALUE	0	gdev->hgcm_wq.head.next	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	gdev->mem_balloon.change_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->mem_balloon.get_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->misc_device.fops	3468068597793710080
PARAM_VALUE	0	gdev->misc_device.minor	255
PARAM_VALUE	0	gdev->misc_device.name	6594749389493854208
PARAM_VALUE	0	gdev->misc_device_user.fops	3410439689804779520
PARAM_VALUE	0	gdev->misc_device_user.minor	255
PARAM_VALUE	0	gdev->misc_device_user.name	157592475499134976
PARAM_VALUE	0	gdev->mmio	4096-ptr_max
PARAM_VALUE	0	gdev->mmio->size	32-u32max
PARAM_VALUE	0	gdev->mmio->version	1
PARAM_VALUE	0	gdev->mouse_status_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->session_mutex.dep_map->name	0-255
PARAM_VALUE	0	gdev->session_mutex.first_waiter	0
PARAM_VALUE	0	gdev->session_mutex.magic	4096-ptr_max
PARAM_VALUE	0	gdev->session_mutex.osq.tail.counter	0
PARAM_VALUE	0	gdev->session_mutex.owner.counter	0
PARAM_VALUE	1	req	18379471554275704832,18446612682070032384
BUF_SIZE	0	gdev	1368
BUF_SIZE	0	gdev->dev	1616
BUF_SIZE	0	gdev->misc_device.fops	272
BUF_SIZE	0	gdev->misc_device.name	10
BUF_SIZE	0	gdev->misc_device_user.fops	272
BUF_SIZE	0	gdev->misc_device_user.name	9
CAPPED_DATA	0	gdev->mmio->size	1
DATA_SOURCE	0	gdev	$0
DATA_SOURCE	1	req	r vbg_req_alloc
STR_LEN	0	gdev->misc_device.name	9
STR_LEN	0	gdev->misc_device_user.name	8
TERMINATED	0	gdev->misc_device.name	1
TERMINATED	0	gdev->misc_device_user.name	1
MEM_ZERO	0	gdev
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		&pool->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_report_driver_status() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
PARAM_VALUE	0	gdev->ack_events_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->cancel_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->cancel_req_mutex.dep_map->name	0-255
PARAM_VALUE	0	gdev->cancel_req_mutex.first_waiter	0
PARAM_VALUE	0	gdev->cancel_req_mutex.magic	4096-ptr_max
PARAM_VALUE	0	gdev->cancel_req_mutex.osq.tail.counter	0
PARAM_VALUE	0	gdev->cancel_req_mutex.owner.counter	0
PARAM_VALUE	0	gdev->dev	4096-ptr_max
PARAM_VALUE	0	gdev->dev->devres_head.prev	4096-ptr_max
PARAM_VALUE	0	gdev->event_filter_host	u32max
PARAM_VALUE	0	gdev->event_wq.head.next	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	gdev->fixed_events	514
PARAM_VALUE	0	gdev->guest_caps_host	u32max
PARAM_VALUE	0	gdev->guest_heartbeat_req	0,18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->heartbeat_interval_ms	0
PARAM_VALUE	0	gdev->heartbeat_timer.entry.pprev	0,4096-ptr_max
PARAM_VALUE	0	gdev->heartbeat_timer.lockdep_map->name	0-255
PARAM_VALUE	0	gdev->hgcm_wq.head.next	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	gdev->mem_balloon.change_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->mem_balloon.get_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->misc_device.fops	3468068597793710080
PARAM_VALUE	0	gdev->misc_device.minor	255
PARAM_VALUE	0	gdev->misc_device.name	6594749389493854208
PARAM_VALUE	0	gdev->misc_device_user.fops	3410439689804779520
PARAM_VALUE	0	gdev->misc_device_user.minor	255
PARAM_VALUE	0	gdev->misc_device_user.name	157592475499134976
PARAM_VALUE	0	gdev->mmio	4096-ptr_max
PARAM_VALUE	0	gdev->mmio->size	32-u32max
PARAM_VALUE	0	gdev->mmio->version	1
PARAM_VALUE	0	gdev->mouse_status_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->session_mutex.dep_map->name	0-255
PARAM_VALUE	0	gdev->session_mutex.first_waiter	0
PARAM_VALUE	0	gdev->session_mutex.magic	4096-ptr_max
PARAM_VALUE	0	gdev->session_mutex.osq.tail.counter	0
PARAM_VALUE	0	gdev->session_mutex.owner.counter	0
PARAM_VALUE	0	*gdev->host_version	0-255
PARAM_VALUE	1	req	18379471554275704832,18446612682070032384
BUF_SIZE	0	gdev	1368
BUF_SIZE	0	gdev->dev	1616
BUF_SIZE	0	gdev->misc_device.fops	272
BUF_SIZE	0	gdev->misc_device.name	10
BUF_SIZE	0	gdev->misc_device_user.fops	272
BUF_SIZE	0	gdev->misc_device_user.name	9
CAPPED_DATA	0	gdev->mmio->size	1
DATA_SOURCE	0	gdev	$0
DATA_SOURCE	1	req	r vbg_req_alloc
STR_LEN	0	gdev->misc_device.name	9
STR_LEN	0	gdev->misc_device_user.name	8
TERMINATED	0	gdev->misc_device.name	1
TERMINATED	0	gdev->misc_device_user.name	1
MEM_ZERO	0	gdev
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		&pool->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_report_guest_info() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
PARAM_VALUE	0	gdev->ack_events_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->cancel_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->cancel_req_mutex.dep_map->name	0-255
PARAM_VALUE	0	gdev->cancel_req_mutex.first_waiter	0
PARAM_VALUE	0	gdev->cancel_req_mutex.magic	4096-ptr_max
PARAM_VALUE	0	gdev->cancel_req_mutex.osq.tail.counter	0
PARAM_VALUE	0	gdev->cancel_req_mutex.owner.counter	0
PARAM_VALUE	0	gdev->dev	4096-ptr_max
PARAM_VALUE	0	gdev->dev->devres_head.prev	4096-ptr_max
PARAM_VALUE	0	gdev->event_filter_host	u32max
PARAM_VALUE	0	gdev->event_wq.head.next	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	gdev->fixed_events	514
PARAM_VALUE	0	gdev->guest_caps_host	u32max
PARAM_VALUE	0	gdev->heartbeat_timer.entry.pprev	0
PARAM_VALUE	0	gdev->heartbeat_timer.flags	0-4194302
PARAM_VALUE	0	gdev->heartbeat_timer.lockdep_map->name	0-255
PARAM_VALUE	0	gdev->hgcm_wq.head.next	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	gdev->mem_balloon.change_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->mem_balloon.get_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->misc_device.fops	3468068597793710080
PARAM_VALUE	0	gdev->misc_device.minor	255
PARAM_VALUE	0	gdev->misc_device.name	6594749389493854208
PARAM_VALUE	0	gdev->misc_device_user.fops	3410439689804779520
PARAM_VALUE	0	gdev->misc_device_user.minor	255
PARAM_VALUE	0	gdev->misc_device_user.name	157592475499134976
PARAM_VALUE	0	gdev->mmio	4096-ptr_max
PARAM_VALUE	0	gdev->mmio->size	32-u32max
PARAM_VALUE	0	gdev->mmio->version	1
PARAM_VALUE	0	gdev->mouse_status_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->session_mutex.dep_map->name	0-255
PARAM_VALUE	0	gdev->session_mutex.first_waiter	0
PARAM_VALUE	0	gdev->session_mutex.magic	4096-ptr_max
PARAM_VALUE	0	gdev->session_mutex.osq.tail.counter	0
PARAM_VALUE	0	gdev->session_mutex.owner.counter	0
PARAM_VALUE	0	*gdev->host_version	0-255
PARAM_VALUE	1	req	18379471554275704832,18446612682070032384
BUF_SIZE	0	gdev	1368
BUF_SIZE	0	gdev->dev	1616
BUF_SIZE	0	gdev->misc_device.fops	272
BUF_SIZE	0	gdev->misc_device.name	10
BUF_SIZE	0	gdev->misc_device_user.fops	272
BUF_SIZE	0	gdev->misc_device_user.name	9
CAPPED_DATA	0	gdev->mmio->size	1
DATA_SOURCE	0	gdev	$0
DATA_SOURCE	1	req	r vbg_req_alloc
STR_LEN	0	gdev->misc_device.name	9
STR_LEN	0	gdev->misc_device_user.name	8
TERMINATED	0	gdev->misc_device.name	1
TERMINATED	0	gdev->misc_device_user.name	1
MEM_ZERO	0	gdev
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		&pool->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_report_guest_info() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
PARAM_VALUE	0	gdev->ack_events_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->cancel_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->cancel_req_mutex.dep_map->name	0-255
PARAM_VALUE	0	gdev->cancel_req_mutex.first_waiter	0
PARAM_VALUE	0	gdev->cancel_req_mutex.magic	4096-ptr_max
PARAM_VALUE	0	gdev->cancel_req_mutex.osq.tail.counter	0
PARAM_VALUE	0	gdev->cancel_req_mutex.owner.counter	0
PARAM_VALUE	0	gdev->dev	4096-ptr_max
PARAM_VALUE	0	gdev->dev->devres_head.prev	4096-ptr_max
PARAM_VALUE	0	gdev->event_filter_host	u32max
PARAM_VALUE	0	gdev->event_wq.head.next	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	gdev->fixed_events	514
PARAM_VALUE	0	gdev->guest_caps_host	u32max
PARAM_VALUE	0	gdev->heartbeat_timer.entry.pprev	0
PARAM_VALUE	0	gdev->heartbeat_timer.flags	0-4194302
PARAM_VALUE	0	gdev->heartbeat_timer.lockdep_map->name	0-255
PARAM_VALUE	0	gdev->hgcm_wq.head.next	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	gdev->mem_balloon.change_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->mem_balloon.get_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->misc_device.fops	3468068597793710080
PARAM_VALUE	0	gdev->misc_device.minor	255
PARAM_VALUE	0	gdev->misc_device.name	6594749389493854208
PARAM_VALUE	0	gdev->misc_device_user.fops	3410439689804779520
PARAM_VALUE	0	gdev->misc_device_user.minor	255
PARAM_VALUE	0	gdev->misc_device_user.name	157592475499134976
PARAM_VALUE	0	gdev->mmio	4096-ptr_max
PARAM_VALUE	0	gdev->mmio->size	32-u32max
PARAM_VALUE	0	gdev->mmio->version	1
PARAM_VALUE	0	gdev->mouse_status_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->session_mutex.dep_map->name	0-255
PARAM_VALUE	0	gdev->session_mutex.first_waiter	0
PARAM_VALUE	0	gdev->session_mutex.magic	4096-ptr_max
PARAM_VALUE	0	gdev->session_mutex.osq.tail.counter	0
PARAM_VALUE	0	gdev->session_mutex.owner.counter	0
PARAM_VALUE	0	*gdev->host_version	0-255
PARAM_VALUE	1	req	18379471554275704832,18446612682070032384
BUF_SIZE	0	gdev	1368
BUF_SIZE	0	gdev->dev	1616
BUF_SIZE	0	gdev->misc_device.fops	272
BUF_SIZE	0	gdev->misc_device.name	10
BUF_SIZE	0	gdev->misc_device_user.fops	272
BUF_SIZE	0	gdev->misc_device_user.name	9
CAPPED_DATA	0	gdev->mmio->size	1
DATA_SOURCE	0	gdev	$0
DATA_SOURCE	1	req	r vbg_req_alloc
STR_LEN	0	gdev->misc_device.name	9
STR_LEN	0	gdev->misc_device_user.name	8
TERMINATED	0	gdev->misc_device.name	1
TERMINATED	0	gdev->misc_device_user.name	1
MEM_ZERO	0	gdev
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		&pool->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_report_guest_info() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
PARAM_VALUE	0	gdev->ack_events_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->cancel_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->cancel_req_mutex.dep_map->name	0-255
PARAM_VALUE	0	gdev->cancel_req_mutex.first_waiter	0
PARAM_VALUE	0	gdev->cancel_req_mutex.magic	4096-ptr_max
PARAM_VALUE	0	gdev->cancel_req_mutex.osq.tail.counter	0
PARAM_VALUE	0	gdev->cancel_req_mutex.owner.counter	0
PARAM_VALUE	0	gdev->dev	4096-ptr_max
PARAM_VALUE	0	gdev->dev->devres_head.prev	4096-ptr_max
PARAM_VALUE	0	gdev->event_filter_host	u32max
PARAM_VALUE	0	gdev->event_wq.head.next	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	gdev->fixed_events	514
PARAM_VALUE	0	gdev->guest_caps_host	u32max
PARAM_VALUE	0	gdev->heartbeat_timer.entry.pprev	0
PARAM_VALUE	0	gdev->heartbeat_timer.flags	0-4194302
PARAM_VALUE	0	gdev->heartbeat_timer.lockdep_map->name	0-255
PARAM_VALUE	0	gdev->hgcm_wq.head.next	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	gdev->mem_balloon.change_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->mem_balloon.get_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->misc_device.fops	3468068597793710080
PARAM_VALUE	0	gdev->misc_device.minor	255
PARAM_VALUE	0	gdev->misc_device.name	6594749389493854208
PARAM_VALUE	0	gdev->misc_device_user.fops	3410439689804779520
PARAM_VALUE	0	gdev->misc_device_user.minor	255
PARAM_VALUE	0	gdev->misc_device_user.name	157592475499134976
PARAM_VALUE	0	gdev->mmio	4096-ptr_max
PARAM_VALUE	0	gdev->mmio->size	32-u32max
PARAM_VALUE	0	gdev->mmio->version	1
PARAM_VALUE	0	gdev->mouse_status_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->session_mutex.dep_map->name	0-255
PARAM_VALUE	0	gdev->session_mutex.first_waiter	0
PARAM_VALUE	0	gdev->session_mutex.magic	4096-ptr_max
PARAM_VALUE	0	gdev->session_mutex.osq.tail.counter	0
PARAM_VALUE	0	gdev->session_mutex.owner.counter	0
PARAM_VALUE	0	*gdev->host_version	0-255
PARAM_VALUE	1	req	18379471554275704832,18446612682070032384
BUF_SIZE	0	gdev	1368
BUF_SIZE	0	gdev->dev	1616
BUF_SIZE	0	gdev->misc_device.fops	272
BUF_SIZE	0	gdev->misc_device.name	10
BUF_SIZE	0	gdev->misc_device_user.fops	272
BUF_SIZE	0	gdev->misc_device_user.name	9
CAPPED_DATA	0	gdev->mmio->size	1
DATA_SOURCE	0	gdev	$0
DATA_SOURCE	1	req	r vbg_req_alloc
STR_LEN	0	gdev->misc_device.name	9
STR_LEN	0	gdev->misc_device_user.name	8
TERMINATED	0	gdev->misc_device.name	1
TERMINATED	0	gdev->misc_device_user.name	1
MEM_ZERO	0	gdev
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		&pool->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_report_guest_info() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
PARAM_VALUE	0	gdev->ack_events_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->cancel_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->cancel_req_mutex.dep_map->name	0-255
PARAM_VALUE	0	gdev->cancel_req_mutex.first_waiter	0
PARAM_VALUE	0	gdev->cancel_req_mutex.magic	4096-ptr_max
PARAM_VALUE	0	gdev->cancel_req_mutex.osq.tail.counter	0
PARAM_VALUE	0	gdev->cancel_req_mutex.owner.counter	0
PARAM_VALUE	0	gdev->dev	4096-ptr_max
PARAM_VALUE	0	gdev->dev->devres_head.prev	4096-ptr_max
PARAM_VALUE	0	gdev->event_filter_host	u32max
PARAM_VALUE	0	gdev->event_wq.head.next	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	gdev->event_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	gdev->fixed_events	514
PARAM_VALUE	0	gdev->guest_caps_host	u32max
PARAM_VALUE	0	gdev->heartbeat_timer.entry.pprev	0
PARAM_VALUE	0	gdev->heartbeat_timer.flags	0-4194302
PARAM_VALUE	0	gdev->heartbeat_timer.lockdep_map->name	0-255
PARAM_VALUE	0	gdev->hgcm_wq.head.next	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	gdev->hgcm_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	gdev->mem_balloon.change_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->mem_balloon.get_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->misc_device.fops	3468068597793710080
PARAM_VALUE	0	gdev->misc_device.minor	255
PARAM_VALUE	0	gdev->misc_device.name	6594749389493854208
PARAM_VALUE	0	gdev->misc_device_user.fops	3410439689804779520
PARAM_VALUE	0	gdev->misc_device_user.minor	255
PARAM_VALUE	0	gdev->misc_device_user.name	157592475499134976
PARAM_VALUE	0	gdev->mmio	4096-ptr_max
PARAM_VALUE	0	gdev->mmio->size	32-u32max
PARAM_VALUE	0	gdev->mmio->version	1
PARAM_VALUE	0	gdev->mouse_status_req	18379471554275704832,18446612682070032384
PARAM_VALUE	0	gdev->session_mutex.dep_map->name	0-255
PARAM_VALUE	0	gdev->session_mutex.first_waiter	0
PARAM_VALUE	0	gdev->session_mutex.magic	4096-ptr_max
PARAM_VALUE	0	gdev->session_mutex.osq.tail.counter	0
PARAM_VALUE	0	gdev->session_mutex.owner.counter	0
PARAM_VALUE	0	*gdev->host_version	0-255
PARAM_VALUE	1	req	18379471554275704832,18446612682070032384
BUF_SIZE	0	gdev	1368
BUF_SIZE	0	gdev->dev	1616
BUF_SIZE	0	gdev->misc_device.fops	272
BUF_SIZE	0	gdev->misc_device.name	10
BUF_SIZE	0	gdev->misc_device_user.fops	272
BUF_SIZE	0	gdev->misc_device_user.name	9
CAPPED_DATA	0	gdev->mmio->size	1
DATA_SOURCE	0	gdev	$0
DATA_SOURCE	1	req	r vbg_req_alloc
STR_LEN	0	gdev->misc_device.name	9
STR_LEN	0	gdev->misc_device_user.name	8
TERMINATED	0	gdev->misc_device.name	1
TERMINATED	0	gdev->misc_device_user.name	1
MEM_ZERO	0	gdev
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		&pool->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_reset_host_capabilities() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
PARAM_VALUE	0	gdev->heartbeat_timer.entry.pprev	0
PARAM_VALUE	0	gdev->heartbeat_timer.flags	0-4194302
PARAM_VALUE	0	gdev->input->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	gdev->input->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	gdev->input->poller->poll_interval	0-4294967295
PARAM_VALUE	0	gdev->input->poller->poll_interval_max	0-4294967295
PARAM_VALUE	0	gdev->misc_device.minor	s32min-255
PARAM_VALUE	0	gdev->misc_device.this_device->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	gdev->misc_device_user.minor	s32min-255
PARAM_VALUE	0	gdev->misc_device_user.this_device->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	*gdev->host_version	0-255
PARAM_VALUE	1	req	18379471554275704832,18446612682070032384
BUF_SIZE	0	gdev	s32min-(-2),1-s32max
BUF_SIZE	0	gdev	s32min-(-2),1-s32max
BUF_SIZE	0	gdev->dev	(-1),1616
BUF_SIZE	0	gdev->misc_device.fops	(-1),272
BUF_SIZE	0	gdev->misc_device.name	(-1),10
BUF_SIZE	0	gdev->misc_device_user.fops	(-1),272
BUF_SIZE	0	gdev->misc_device_user.name	(-1),9
CAPPED_DATA	0	gdev	1
DATA_SOURCE	0	gdev	$0
DATA_SOURCE	1	req	r vbg_req_alloc
FUZZY_MAX	0	gdev->misc_device.minor	255
FUZZY_MAX	0	gdev->misc_device_user.minor	255
STR_LEN	0	gdev->misc_device.name	(-1),9
STR_LEN	0	gdev->misc_device_user.name	(-1),8
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE	0	gdev->input->max_vals
UNITS	0	gdev	unit_byte

drivers/virt/vboxguest/vboxguest_core.c vbg_reset_host_event_filter() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
PARAM_VALUE	0	gdev->heartbeat_timer.entry.pprev	0
PARAM_VALUE	0	gdev->heartbeat_timer.flags	0-4194302
PARAM_VALUE	0	gdev->input->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	gdev->input->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	gdev->input->poller->poll_interval	0-4294967295
PARAM_VALUE	0	gdev->input->poller->poll_interval_max	0-4294967295
PARAM_VALUE	0	gdev->misc_device.minor	s32min-255
PARAM_VALUE	0	gdev->misc_device.this_device->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	gdev->misc_device_user.minor	s32min-255
PARAM_VALUE	0	gdev->misc_device_user.this_device->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	*gdev->host_version	0-255
PARAM_VALUE	1	req	18379471554275704832,18446612682070032384
BUF_SIZE	0	gdev	s32min-(-2),1-s32max
BUF_SIZE	0	gdev	s32min-(-2),1-s32max
BUF_SIZE	0	gdev->dev	(-1),1616
BUF_SIZE	0	gdev->misc_device.fops	(-1),272
BUF_SIZE	0	gdev->misc_device.name	(-1),10
BUF_SIZE	0	gdev->misc_device_user.fops	(-1),272
BUF_SIZE	0	gdev->misc_device_user.name	(-1),9
CAPPED_DATA	0	gdev	1
DATA_SOURCE	0	gdev	$0
DATA_SOURCE	1	req	r vbg_req_alloc
FUZZY_MAX	0	gdev->misc_device.minor	255
FUZZY_MAX	0	gdev->misc_device_user.minor	255
STR_LEN	0	gdev->misc_device.name	(-1),9
STR_LEN	0	gdev->misc_device_user.name	(-1),8
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE	0	gdev->input->max_vals
UNITS	0	gdev	unit_byte

drivers/virt/vboxguest/vboxguest_core.c vbg_set_host_capabilities() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
PARAM_VALUE	0	gdev->session_mutex.dep_map->name	0-255
PARAM_VALUE	0	gdev->session_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	gdev->session_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	gdev->session_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	gdev->session_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	gdev->session_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	gdev->session_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	1	req	18379471554275704832,18446612682070032384
DATA_SOURCE	0	gdev	$0
DATA_SOURCE	1	req	r vbg_req_alloc
RX_PATH
TASK_NOT_RUNNING
LOCK2	0	&gdev->session_mutex
TYPE_LOCK		(struct vbg_dev)->session_mutex

drivers/virt/vboxguest/vboxguest_core.c vbg_set_session_event_filter() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
PARAM_VALUE	0	gdev->event_filter_tracker->per_bit_usage	1
PARAM_VALUE	0	gdev->session_mutex.dep_map->name	0-255
PARAM_VALUE	0	gdev->session_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	gdev->session_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	gdev->session_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	gdev->session_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	gdev->session_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	gdev->session_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	1	req	18379471554275704832,18446612682070032384
CAPPED_DATA	0	&gdev->session_mutex	1
DATA_SOURCE	0	gdev	$0
DATA_SOURCE	1	req	r vbg_req_alloc
RX_PATH
TASK_NOT_RUNNING
LOCK2	0	&gdev->session_mutex
TYPE_LOCK		(struct vbg_dev)->session_mutex

drivers/virt/vboxguest/vboxguest_utils.c hgcm_cancel_call() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
PARAM_VALUE	0	gdev->cancel_req	4096-ptr_max
PARAM_VALUE	0	gdev->cancel_req_mutex.dep_map->name	0-255
PARAM_VALUE	0	gdev->cancel_req_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	gdev->cancel_req_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	gdev->cancel_req_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	gdev->cancel_req_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	gdev->cancel_req_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	gdev->cancel_req_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	gdev->event_spinlock.rlock.dep_map->name	0-255
PARAM_VALUE	1	req	4096-ptr_max
CAPPED_DATA	0	gdev->cancel_req->phys_req_to_cancel	1
CAPPED_DATA	0	&gdev->cancel_req_mutex	1
DATA_SOURCE	0	gdev	$0
RX_PATH
TASK_NOT_RUNNING
LOCK2	0	&gdev->cancel_req_mutex
HALF_LOCKED2		global &vbg_gdev_mutex
TYPE_LOCK		(struct vbg_dev)->cancel_req_mutex

drivers/virt/vboxguest/vboxguest_utils.c hgcm_cancel_call() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
PARAM_VALUE	0	gdev->cancel_req	4096-ptr_max
PARAM_VALUE	0	gdev->cancel_req_mutex.dep_map->name	0-255
PARAM_VALUE	0	gdev->cancel_req_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	gdev->cancel_req_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	gdev->cancel_req_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	gdev->cancel_req_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	gdev->cancel_req_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	gdev->cancel_req_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	gdev->cancel_req_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	gdev->cancel_req_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	gdev->cancel_req_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	gdev->event_spinlock.rlock.dep_map->name	0-255
PARAM_VALUE	1	req	18379471554275704832,18446612682070032384
CAPPED_DATA	0	gdev->cancel_req	1
CAPPED_DATA	0	gdev->cancel_req->phys_req_to_cancel	1
CAPPED_DATA	0	&gdev->cancel_req_mutex	1
DATA_SOURCE	0	gdev	$0
DATA_SOURCE	1	req	$1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		global &vbg_gdev_mutex

drivers/virt/vboxguest/vboxguest_utils.c vbg_hgcm_connect() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
PARAM_VALUE	1	req	18379471554275704832,18446612682070032384
DATA_SOURCE	0	gdev	$0
DATA_SOURCE	1	req	r vbg_req_alloc
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		global &vbg_gdev_mutex
HALF_LOCKED2		global &vboxsf_setup_mutex

drivers/virt/vboxguest/vboxguest_utils.c vbg_hgcm_disconnect() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
PARAM_VALUE	1	req	18379471554275704832,18446612682070032384
DATA_SOURCE	0	gdev	$0
DATA_SOURCE	1	req	r vbg_req_alloc
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		global &vbg_gdev_mutex
HALF_LOCKED2		global &vboxsf_setup_mutex

drivers/virt/vboxguest/vboxguest_utils.c vbg_hgcm_do_call() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
PARAM_VALUE	1	req	18379471554275704832,18446612682070032384
DATA_SOURCE	0	gdev	$0
DATA_SOURCE	1	req	$1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		global &vbg_gdev_mutex

drivers/virt/vboxguest/vboxguest_linux.c vbg_linux_mouse_event() -> vbg_req_perform()

Type	Parameter	Key	Value
PARAM_VALUE	0	gdev	4096-ptr_max
PARAM_VALUE	0	gdev->ack_events_req	4096-ptr_max
PARAM_VALUE	0	gdev->ack_events_req->events	0
PARAM_VALUE	0	gdev->ack_events_req->header.rc	(-225)
PARAM_VALUE	0	gdev->mmio	4096-ptr_max
PARAM_VALUE	0	gdev->mmio->V.V1_04.have_events	1-255
PARAM_VALUE	0	gdev->mouse_status_req	4096-ptr_max
PARAM_VALUE	0	gdev->mouse_status_req->mouse_features	0
PARAM_VALUE	0	gdev->mouse_status_req->pointer_pos_x	0
PARAM_VALUE	0	gdev->mouse_status_req->pointer_pos_y	0
PARAM_VALUE	1	req	4096-ptr_max
DATA_SOURCE	0	gdev	$0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		&desc->request_mutex
HALF_LOCKED2		_T->lock
HALF_LOCKED2		flags
HALF_LOCKED2		irq