Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/virtio_blk.c virtblk_probe() -> virtblk_read_limits()

Type Parameter Key Value
PARAM_VALUE 0 vblk 4096-ptr_max
PARAM_VALUE 0 vblk->io_queues 4096-ptr_max
PARAM_VALUE 0 vblk->num_vqs 1-u16max
PARAM_VALUE 0 vblk->tag_set.cmd_size 120
PARAM_VALUE 0 vblk->tag_set.driver_data 4096-ptr_max
PARAM_VALUE 0 vblk->tag_set.flags 0
PARAM_VALUE 0 vblk->tag_set.nr_hw_queues 0-u16max
PARAM_VALUE 0 vblk->tag_set.nr_maps 1,3
PARAM_VALUE 0 vblk->tag_set.numa_node (-1)
PARAM_VALUE 0 vblk->tag_set.ops 545145720855269376
PARAM_VALUE 0 vblk->tag_set.ops->queue_rq 1-u64max
PARAM_VALUE 0 vblk->tag_set.queue_depth 1-10240
PARAM_VALUE 0 vblk->tag_set.srcu 0,4096-ptr_max
PARAM_VALUE 0 vblk->tag_set.srcu->dep_map->name 0-255
PARAM_VALUE 0 vblk->tag_set.srcu->sda 4096-ptr_max
PARAM_VALUE 0 vblk->tag_set.srcu->srcu_ctrp 4096-ptr_max
PARAM_VALUE 0 vblk->tag_set.srcu->srcu_reader_flavor 0
PARAM_VALUE 0 vblk->tag_set.srcu->srcu_sup 4096-ptr_max
PARAM_VALUE 0 vblk->tag_set.srcu->srcu_sup->srcu_barrier_mutex.dep_map->name 0-255
PARAM_VALUE 0 vblk->tag_set.srcu->srcu_sup->srcu_barrier_mutex.magic 4096-ptr_max
PARAM_VALUE 0 vblk->tag_set.srcu->srcu_sup->srcu_cb_mutex.dep_map->name 0-255
PARAM_VALUE 0 vblk->tag_set.srcu->srcu_sup->srcu_cb_mutex.magic 4096-ptr_max
PARAM_VALUE 0 vblk->tag_set.srcu->srcu_sup->srcu_gp_mutex.dep_map->name 0-255
PARAM_VALUE 0 vblk->tag_set.srcu->srcu_sup->srcu_gp_mutex.magic 4096-ptr_max
PARAM_VALUE 0 vblk->tag_set.srcu->srcu_sup->srcu_gp_seq 18446744073709551216
PARAM_VALUE 0 vblk->tag_set.srcu->srcu_sup->srcu_gp_seq_needed 18446744073709551216
PARAM_VALUE 0 vblk->tag_set.srcu->srcu_sup->srcu_gp_seq_needed_exp 18446744073709551216
PARAM_VALUE 0 vblk->tag_set.srcu->srcu_sup->srcu_size_state 0-1,8
PARAM_VALUE 0 vblk->tag_set.srcu->srcu_sup->srcu_ssp 4096-ptr_max
PARAM_VALUE 0 vblk->tag_set.srcu->srcu_sup->srcu_ssp->sda 1-u64max
PARAM_VALUE 0 vblk->tag_set.srcu->srcu_sup->srcu_ssp->srcu_sup 4096-ptr_max
PARAM_VALUE 0 vblk->tag_set.tag_list.next 4096-ptr_max
PARAM_VALUE 0 vblk->tag_set.tag_list.next->next 4096-ptr_max
PARAM_VALUE 0 vblk->tag_set.tag_list.prev 4096-ptr_max
PARAM_VALUE 0 vblk->tag_set.tag_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vblk->tag_set.tag_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 vblk->tag_set.tag_list_lock.dep_map->name 0-255
PARAM_VALUE 0 vblk->tag_set.tag_list_lock.magic 4096-ptr_max
PARAM_VALUE 0 vblk->tag_set.tags 1-u64max
PARAM_VALUE 0 vblk->tag_set.tags_srcu.dep_map->name 0-255
PARAM_VALUE 0 vblk->tag_set.tags_srcu.srcu_sup 0
PARAM_VALUE 0 vblk->tag_set.tags_srcu.srcu_sup->lock.owner 0,(-1)
PARAM_VALUE 0 vblk->tag_set.tags_srcu.srcu_sup->lock.owner_cpu 0,u32max
PARAM_VALUE 0 vblk->tag_set.tags_srcu.srcu_sup->node 0,4096-ptr_max
PARAM_VALUE 0 vblk->tag_set.tags_srcu.srcu_sup->srcu_barrier_mutex.dep_map->name 0-255
PARAM_VALUE 0 vblk->tag_set.tags_srcu.srcu_sup->srcu_barrier_mutex.magic 4096-ptr_max
PARAM_VALUE 0 vblk->tag_set.tags_srcu.srcu_sup->srcu_cb_mutex.dep_map->name 0-255
PARAM_VALUE 0 vblk->tag_set.tags_srcu.srcu_sup->srcu_cb_mutex.magic 4096-ptr_max
PARAM_VALUE 0 vblk->tag_set.tags_srcu.srcu_sup->srcu_gp_mutex.dep_map->name 0-255
PARAM_VALUE 0 vblk->tag_set.tags_srcu.srcu_sup->srcu_gp_mutex.magic 4096-ptr_max
PARAM_VALUE 0 vblk->tag_set.tags_srcu.srcu_sup->srcu_gp_seq 18446744073709551216
PARAM_VALUE 0 vblk->tag_set.tags_srcu.srcu_sup->srcu_gp_seq_needed 0,4-u64max
PARAM_VALUE 0 vblk->tag_set.tags_srcu.srcu_sup->srcu_gp_seq_needed_exp 18446744073709551216
PARAM_VALUE 0 vblk->tag_set.tags_srcu.srcu_sup->srcu_size_state 0-1,8
PARAM_VALUE 0 vblk->tag_set.tags_srcu.srcu_sup->srcu_ssp->sda 1-u64max
PARAM_VALUE 0 vblk->tag_set.tags_srcu.srcu_sup->srcu_ssp->srcu_sup 4096-ptr_max
PARAM_VALUE 0 vblk->tag_set.tags_srcu.srcu_sup->work.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 vblk->tag_set.tags_srcu.srcu_sup->work.work.entry.prev->prev 2076614606316732416
PARAM_VALUE 0 vblk->tag_set.update_nr_hwq_lock.dep_map->name 0-255
PARAM_VALUE 0 vblk->tag_set.update_nr_hwq_lock.magic 4096-ptr_max
PARAM_VALUE 0 vblk->vdev 4096-ptr_max
PARAM_VALUE 0 vblk->vdev->config 4096-ptr_max
PARAM_VALUE 0 vblk->vdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 vblk->vdev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 vblk->vdev->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 vblk->vdev->priv 4096-ptr_max
PARAM_VALUE 0 vblk->vdev->vqs.prev->next 4096-ptr_max
PARAM_VALUE 0 vblk->vdev->vqs.prev->next->next 4096-ptr_max
PARAM_VALUE 0 vblk->vdev->vqs_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vblk->vdev_mutex.dep_map->name 0-255
PARAM_VALUE 0 vblk->vdev_mutex.first_waiter 0
PARAM_VALUE 0 vblk->vdev_mutex.magic 4096-ptr_max
PARAM_VALUE 0 vblk->vdev_mutex.osq.tail.counter 0
PARAM_VALUE 0 vblk->vdev_mutex.owner.counter 0
PARAM_VALUE 0 vblk->vqs 4096-ptr_max
PARAM_VALUE 1 lim 2609667720423378944
PARAM_VALUE 1 lim->alignment_offset 0
PARAM_VALUE 1 lim->chunk_sectors 0
PARAM_VALUE 1 lim->discard_granularity 0
PARAM_VALUE 1 lim->features 4
PARAM_VALUE 1 lim->flags 0
PARAM_VALUE 1 lim->io_min 0
PARAM_VALUE 1 lim->io_opt 0
PARAM_VALUE 1 lim->logical_block_size 512
PARAM_VALUE 1 lim->max_active_zones 0
PARAM_VALUE 1 lim->max_discard_segments 0
PARAM_VALUE 1 lim->max_hw_discard_sectors 0
PARAM_VALUE 1 lim->max_hw_sectors 0
PARAM_VALUE 1 lim->max_hw_zone_append_sectors 0
PARAM_VALUE 1 lim->max_open_zones 0
PARAM_VALUE 1 lim->max_secure_erase_sectors 0
PARAM_VALUE 1 lim->max_segment_size 0
PARAM_VALUE 1 lim->max_segments 0
PARAM_VALUE 1 lim->max_write_zeroes_sectors 0
PARAM_VALUE 1 lim->physical_block_size 0
BUF_SIZE 0 vblk 816
BUF_SIZE 0 vblk->tag_set.driver_data 816
BUF_SIZE 0 vblk->tag_set.ops 144
CAPPED_DATA 0 vblk->tag_set.queue_depth 1
CAPPED_DATA 0 &vblk->tag_set 1
DATA_SOURCE 0 vblk r _kmalloc_noprof
MEM_ZERO 0 &vblk->tag_set
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vblk->num_vqs
NO_OVERFLOW_SIMPLE 0 vblk->tag_set.nr_hw_queues
NO_OVERFLOW_SIMPLE 0 vblk->tag_set.queue_depth