Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/virtio_console.c add_port() -> __send_control_msg()

Type Parameter Key Value
PARAM_VALUE 0 portdev 4096-ptr_max
PARAM_VALUE 0 portdev->vdev->config->get_status 4096-ptr_max
PARAM_VALUE 0 portdev->vdev->config->set_status 4096-ptr_max
PARAM_VALUE 1 port_id 0-4294967294
PARAM_VALUE 2 event 3
PARAM_VALUE 3 value 0
BUF_SIZE 0 portdev (-1),472
BUF_SIZE 0 portdev (-1),472
DATA_SOURCE 0 portdev $0
DATA_SOURCE 1 port_id $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 portdev->max_nr_ports 0-u32max
HOST_DATA 1 port_id 0-4294967294

drivers/char/virtio_console.c send_control_msg() -> __send_control_msg()

Type Parameter Key Value
PARAM_VALUE 0 portdev 1-u64max
PARAM_VALUE 2 event 3,6
PARAM_VALUE 3 value 0-1
BUF_SIZE 0 portdev (-1),472
BUF_SIZE 0 portdev (-1),472
DATA_SOURCE 2 event $1
DATA_SOURCE 3 value $2
HARD_MAX 2 event 6
HARD_MAX 3 value 1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 portdev->max_nr_ports 0-u32max
HOST_DATA 1 port_id 0-4294967294

drivers/char/virtio_console.c virtcons_probe() -> __send_control_msg()

Type Parameter Key Value
PARAM_VALUE 0 portdev 4096-ptr_max
PARAM_VALUE 0 portdev->c_ivq 4096-ptr_max
PARAM_VALUE 0 portdev->c_ivq_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 portdev->chr_major 0-s32max
PARAM_VALUE 0 portdev->in_vqs 0,16,4096-ptr_max
PARAM_VALUE 0 portdev->list.next 4096-ptr_max
PARAM_VALUE 0 portdev->list.next->next 4096-ptr_max
PARAM_VALUE 0 portdev->list.prev 4096-ptr_max
PARAM_VALUE 0 portdev->list.prev->next 4096-ptr_max
PARAM_VALUE 0 portdev->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 portdev->max_nr_ports 1-32768
PARAM_VALUE 0 portdev->out_vqs 0,16,4096-ptr_max
PARAM_VALUE 0 portdev->pm_freezing 0
PARAM_VALUE 0 portdev->ports.next 4096-ptr_max
PARAM_VALUE 0 portdev->ports.next->next 4096-ptr_max
PARAM_VALUE 0 portdev->ports.prev 4096-ptr_max
PARAM_VALUE 0 portdev->ports.prev->next 4096-ptr_max
PARAM_VALUE 0 portdev->ports.prev->prev 4096-ptr_max
PARAM_VALUE 0 portdev->vdev 4096-ptr_max
PARAM_VALUE 0 portdev->vdev->config 4096-ptr_max
PARAM_VALUE 0 portdev->vdev->config->get_status 4096-ptr_max
PARAM_VALUE 0 portdev->vdev->config->set_status 4096-ptr_max
PARAM_VALUE 0 portdev->vdev->vqs.prev->next 4096-ptr_max
PARAM_VALUE 0 portdev->vdev->vqs.prev->next->next 4096-ptr_max
PARAM_VALUE 0 portdev->vdev->vqs_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 port_id u32max
PARAM_VALUE 2 event 0
PARAM_VALUE 3 value 0
BUF_SIZE 0 portdev 472
DATA_SOURCE 0 portdev r _kmalloc_noprof
FUZZY_MAX 0 portdev->max_nr_ports 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 portdev->max_nr_ports 1-32768

drivers/char/virtio_console.c virtcons_probe() -> __send_control_msg()

Type Parameter Key Value
PARAM_VALUE 0 portdev 4096-ptr_max
PARAM_VALUE 0 portdev->chr_major 0-s32max
PARAM_VALUE 0 portdev->in_vqs 0,16,4096-ptr_max
PARAM_VALUE 0 portdev->list.next 4096-ptr_max
PARAM_VALUE 0 portdev->list.next->next 4096-ptr_max
PARAM_VALUE 0 portdev->list.prev->next 4096-ptr_max
PARAM_VALUE 0 portdev->list.prev->prev 4096-ptr_max
PARAM_VALUE 0 portdev->out_vqs 0,16,4096-ptr_max
PARAM_VALUE 0 portdev->pm_freezing 0
PARAM_VALUE 0 portdev->ports.next 4096-ptr_max
PARAM_VALUE 0 portdev->ports.next->next 4096-ptr_max
PARAM_VALUE 0 portdev->ports.prev 4096-ptr_max
PARAM_VALUE 0 portdev->ports.prev->next 4096-ptr_max
PARAM_VALUE 0 portdev->ports.prev->prev 4096-ptr_max
PARAM_VALUE 0 portdev->vdev 4096-ptr_max
PARAM_VALUE 0 portdev->vdev->config 4096-ptr_max
PARAM_VALUE 0 portdev->vdev->config->get_status 4096-ptr_max
PARAM_VALUE 0 portdev->vdev->config->set_status 4096-ptr_max
PARAM_VALUE 0 portdev->vdev->vqs.prev->next 4096-ptr_max
PARAM_VALUE 0 portdev->vdev->vqs.prev->next->next 4096-ptr_max
PARAM_VALUE 0 portdev->vdev->vqs_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 port_id u32max
PARAM_VALUE 2 event 0
PARAM_VALUE 3 value 1
BUF_SIZE 0 portdev 472
DATA_SOURCE 0 portdev r _kmalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 portdev->max_nr_ports 0-u32max