vbg_req_free 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 207 (as a prototype)

Defined in 1 files as a function:

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

Referenced in 3 files:

Smatch caller information:

drivers/virt/vboxguest/vboxguest_core.c vbg_core_exit() -> vbg_req_free()

Type	Parameter	Key	Value
PARAM_VALUE	1	len	36
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte

drivers/virt/vboxguest/vboxguest_core.c vbg_core_exit() -> vbg_req_free()

Type	Parameter	Key	Value
PARAM_VALUE	1	len	28
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte

drivers/virt/vboxguest/vboxguest_core.c vbg_core_exit() -> vbg_req_free()

Type	Parameter	Key	Value
PARAM_VALUE	1	len	28
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte

drivers/virt/vboxguest/vboxguest_core.c vbg_core_exit() -> vbg_req_free()

Type	Parameter	Key	Value
PARAM_VALUE	1	len	2080
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte

drivers/virt/vboxguest/vboxguest_core.c vbg_core_exit() -> vbg_req_free()

Type	Parameter	Key	Value
PARAM_VALUE	1	len	36
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte

drivers/virt/vboxguest/vboxguest_core.c vbg_core_init() -> vbg_req_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	req	0,18379471554275704832,18446612682070032384
PARAM_VALUE	1	len	36
DATA_SOURCE	0	req	r vbg_req_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte

drivers/virt/vboxguest/vboxguest_core.c vbg_core_init() -> vbg_req_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	req	0,18379471554275704832,18446612682070032384
PARAM_VALUE	1	len	28
DATA_SOURCE	0	req	r vbg_req_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte

drivers/virt/vboxguest/vboxguest_core.c vbg_core_init() -> vbg_req_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	req	0,18379471554275704832,18446612682070032384
PARAM_VALUE	1	len	28
DATA_SOURCE	0	req	r vbg_req_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte

drivers/virt/vboxguest/vboxguest_core.c vbg_core_init() -> vbg_req_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	req	0,18379471554275704832,18446612682070032384
PARAM_VALUE	1	len	2080
DATA_SOURCE	0	req	r vbg_req_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte

drivers/virt/vboxguest/vboxguest_core.c vbg_core_init() -> vbg_req_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	req	0,18379471554275704832,18446612682070032384
PARAM_VALUE	1	len	36
DATA_SOURCE	0	req	r vbg_req_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte

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

Type	Parameter	Key	Value
PARAM_VALUE	0	req	18379471554275704832,18446612682070032384
PARAM_VALUE	1	len	36
DATA_SOURCE	0	req	r vbg_req_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte
HALF_LOCKED2		_T->lock

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

Type	Parameter	Key	Value
PARAM_VALUE	0	req	18379471554275704832,18446612682070032384
PARAM_VALUE	1	len	32
DATA_SOURCE	0	req	r vbg_req_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte

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

Type	Parameter	Key	Value
PARAM_VALUE	0	req	18379471554275704832,18446612682070032384
PARAM_VALUE	1	len	32
DATA_SOURCE	0	req	r vbg_req_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte
HALF_LOCKED2		&pool->lock

drivers/virt/vboxguest/vboxguest_core.c vbg_heartbeat_exit() -> vbg_req_free()

Type	Parameter	Key	Value
PARAM_VALUE	1	len	24
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte

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

Type	Parameter	Key	Value
PARAM_VALUE	0	req	18379471554275704832,18446612682070032384
PARAM_VALUE	1	len	36
DATA_SOURCE	0	req	r vbg_req_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte

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

Type	Parameter	Key	Value
PARAM_VALUE	0	req	18379471554275704832,18446612682070032384
PARAM_VALUE	1	len	28
DATA_SOURCE	0	req	r vbg_req_alloc
NOCHECK_CALL
UNITS	1	len	unit_byte

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

Type	Parameter	Key	Value
PARAM_VALUE	0	req	18379471554275704832,18446612682070032384
PARAM_VALUE	1	len	40
DATA_SOURCE	0	req	r vbg_req_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte
HALF_LOCKED2		&pool->lock

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

Type	Parameter	Key	Value
PARAM_VALUE	0	req	18379471554275704832,18446612682070032384
PARAM_VALUE	1	len	36
DATA_SOURCE	0	req	r vbg_req_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte
HALF_LOCKED2		&pool->lock

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

Type	Parameter	Key	Value
PARAM_VALUE	0	req	0,18379471554275704832,18446612682070032384
PARAM_VALUE	1	len	168
DATA_SOURCE	0	req	r vbg_req_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte
HALF_LOCKED2		&pool->lock

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

Type	Parameter	Key	Value
PARAM_VALUE	0	req	0,18379471554275704832,18446612682070032384
PARAM_VALUE	1	len	32
DATA_SOURCE	0	req	r vbg_req_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte
HALF_LOCKED2		&pool->lock

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

Type	Parameter	Key	Value
PARAM_VALUE	0	req	18379471554275704832,18446612682070032384
PARAM_VALUE	1	len	32
DATA_SOURCE	0	req	r vbg_req_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte

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

Type	Parameter	Key	Value
PARAM_VALUE	0	req	18379471554275704832,18446612682070032384
PARAM_VALUE	1	len	32
DATA_SOURCE	0	req	r vbg_req_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte

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

Type	Parameter	Key	Value
PARAM_VALUE	0	req	18379471554275704832,18446612682070032384
PARAM_VALUE	1	len	32
DATA_SOURCE	0	req	r vbg_req_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte
LOCK2		&gdev->session_mutex
TYPE_LOCK		(struct vbg_dev)->session_mutex

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

Type	Parameter	Key	Value
PARAM_VALUE	0	req	0,18379471554275704832,18446612682070032384
PARAM_VALUE	1	len	32
DATA_SOURCE	0	req	r vbg_req_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte

drivers/virt/vboxguest/vboxguest_utils.c vbg_hgcm_call() -> vbg_req_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	req	18379471554275704832,18446612682070032384
DATA_SOURCE	0	req	r vbg_req_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte
HALF_LOCKED2		global &vbg_gdev_mutex

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

Type	Parameter	Key	Value
PARAM_VALUE	0	req	18379471554275704832,18446612682070032384
PARAM_VALUE	1	len	168
DATA_SOURCE	0	req	r vbg_req_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte
HALF_LOCKED2		global &vbg_gdev_mutex
HALF_LOCKED2		global &vboxsf_setup_mutex

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

Type	Parameter	Key	Value
PARAM_VALUE	0	req	18379471554275704832,18446612682070032384
PARAM_VALUE	1	len	36
DATA_SOURCE	0	req	r vbg_req_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	1	len	unit_byte
HALF_LOCKED2		global &vbg_gdev_mutex
HALF_LOCKED2		global &vboxsf_setup_mutex

drivers/virt/vboxguest/vboxguest_linux.c vbg_misc_device_ioctl() -> vbg_req_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	req	4096-ptr_max
PARAM_VALUE	0	req->size_in	24-u32max
PARAM_VALUE	0	req->size_out	0,24-4294967295
PARAM_VALUE	0	req->version	65537
PARAM_VALUE	1	len	24-16777216
CAPPED_DATA	0	req	1
CAPPED_DATA	0	req->size_in	1
CAPPED_DATA	1	len	1
CAPPED_DATA	1	len	1
DATA_SOURCE	0	req	r vbg_req_alloc
BIT_INFO	1	len	0x0,0xffffffff
NOSPEC	0	req->size_in
NOSPEC	1	len
NOCHECK_CALL
USER_DATA	0	req->rc	s32min-s32max
USER_DATA	0	req->reserved	0-u32max
USER_DATA	0	req->size_in	24-u32max[c]
USER_DATA	0	req->size_out	0,24-u32max[c]
USER_DATA	0	req->type	0-u32max
USER_DATA	1	len	24-16777216[c]
NO_OVERFLOW_SIMPLE	0	req->parm_count
UNITS	1	len	unit_byte