Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 gdev 4096-ptr_max
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 0,4096-ptr_max
PARAM_VALUE 0 gdev->misc_device.list.next->next 4096-ptr_max
PARAM_VALUE 0 gdev->misc_device.list.next->prev 4096-ptr_max
PARAM_VALUE 0 gdev->misc_device.list.prev 0,4096-ptr_max
PARAM_VALUE 0 gdev->misc_device.list.prev->next 4096-ptr_max
PARAM_VALUE 0 gdev->misc_device.list.prev->prev 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 0,4096-ptr_max
PARAM_VALUE 0 gdev->misc_device_user.list.next->next 4096-ptr_max
PARAM_VALUE 0 gdev->misc_device_user.list.next->prev 4096-ptr_max
PARAM_VALUE 0 gdev->misc_device_user.list.prev 0,4096-ptr_max
PARAM_VALUE 0 gdev->misc_device_user.list.prev->next 4096-ptr_max
PARAM_VALUE 0 gdev->misc_device_user.list.prev->prev 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
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
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
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 gdev->input->max_vals
UNITS 0 gdev unit_byte