Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 portdev 1-u64max
BUF_SIZE 0 portdev (-1),472
BUF_SIZE 0 portdev (-1),472
DATA_SOURCE 0 portdev $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 portdev->max_nr_ports 0-u32max

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

Type Parameter Key Value
PARAM_VALUE 0 portdev 4096-ptr_max
PARAM_VALUE 0 portdev->vdev 4096-ptr_max
BUF_SIZE 0 portdev (-1),472
BUF_SIZE 0 portdev (-1),472
DATA_SOURCE 0 portdev $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 portdev->max_nr_ports 0-u32max

drivers/char/virtio_console.c config_intr() -> use_multiport()

Type Parameter Key Value
BUF_SIZE 0 portdev s32min-(-2),1-s32max
BUF_SIZE 0 portdev s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 portdev unit_byte
LOCK2 &vdev->config_lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct virtio_device)->config_lock

drivers/char/virtio_console.c init_vqs() -> use_multiport()

Type Parameter Key Value
PARAM_VALUE 0 portdev 4096-ptr_max
BUF_SIZE 0 portdev s32min-(-2),1-s32max
BUF_SIZE 0 portdev s32min-(-2),1-s32max
DATA_SOURCE 0 portdev $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 portdev->max_nr_ports 0-u32max
UNITS 0 portdev unit_byte

drivers/char/virtio_console.c init_vqs() -> use_multiport()

Type Parameter Key Value
PARAM_VALUE 0 portdev 4096-ptr_max
BUF_SIZE 0 portdev s32min-(-2),1-s32max
BUF_SIZE 0 portdev s32min-(-2),1-s32max
BUF_SIZE 0 portdev->in_vqs 0-34359738360
BUF_SIZE 0 portdev->out_vqs 0-34359738360
DATA_SOURCE 0 portdev $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 portdev->max_nr_ports 0-u32max
UNITS 0 portdev unit_byte

drivers/char/virtio_console.c init_vqs() -> use_multiport()

Type Parameter Key Value
PARAM_VALUE 0 portdev 4096-ptr_max
PARAM_VALUE 0 portdev->vdev 4096-ptr_max
BUF_SIZE 0 portdev s32min-(-2),1-s32max
BUF_SIZE 0 portdev s32min-(-2),1-s32max
BUF_SIZE 0 portdev->in_vqs 0-34359738360
BUF_SIZE 0 portdev->out_vqs 0-34359738360
DATA_SOURCE 0 portdev $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 portdev->max_nr_ports 0-u32max
UNITS 0 portdev unit_byte

drivers/char/virtio_console.c update_size_from_config() -> use_multiport()

Type Parameter Key Value
PARAM_VALUE 0 portdev 4096-ptr_max
BUF_SIZE 0 portdev (-1),472
BUF_SIZE 0 portdev (-1),472
DATA_SOURCE 0 portdev $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 portdev->max_nr_ports 0-u32max

drivers/char/virtio_console.c virtcons_freeze() -> use_multiport()

Type Parameter Key Value
PARAM_VALUE 0 portdev 4096-ptr_max
BUF_SIZE 0 portdev s32min-(-2),1-s32max
BUF_SIZE 0 portdev s32min-(-2),1-s32max
CAPPED_DATA 0 &portdev->ports 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 portdev unit_byte

drivers/char/virtio_console.c virtcons_freeze() -> use_multiport()

Type Parameter Key Value
PARAM_VALUE 0 portdev 4096-ptr_max
BUF_SIZE 0 portdev s32min-(-2),1-s32max
BUF_SIZE 0 portdev s32min-(-2),1-s32max
CAPPED_DATA 0 &portdev->config_work 1
CAPPED_DATA 0 &portdev->control_work 1
CAPPED_DATA 0 &portdev->ports 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 portdev unit_byte

drivers/char/virtio_console.c virtcons_remove() -> use_multiport()

Type Parameter Key Value
PARAM_VALUE 0 portdev 4096-ptr_max
BUF_SIZE 0 portdev (-1),472
BUF_SIZE 0 portdev (-1),472
RX_PATH
TASK_NOT_RUNNING
UNITS 0 portdev unit_byte

drivers/char/virtio_console.c virtcons_remove() -> use_multiport()

Type Parameter Key Value
PARAM_VALUE 0 portdev 4096-ptr_max
BUF_SIZE 0 portdev (-1),472
BUF_SIZE 0 portdev (-1),472
CAPPED_DATA 0 &portdev->config_work 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 portdev unit_byte

drivers/char/virtio_console.c virtcons_restore() -> use_multiport()

Type Parameter Key Value
PARAM_VALUE 0 portdev 4096-ptr_max
PARAM_VALUE 0 portdev->vdev 4096-ptr_max
BUF_SIZE 0 portdev s32min-(-2),1-s32max
BUF_SIZE 0 portdev s32min-(-2),1-s32max
CAPPED_DATA 0 portdev->in_vqs 1
CAPPED_DATA 0 portdev->out_vqs 1
CAPPED_DATA 0 &portdev->ports 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 portdev unit_byte