Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/zloop.c zloop_close_zone() -> zloop_update_seq_zone()

Type Parameter Key Value
PARAM_VALUE 0 zlo 4096-ptr_max
PARAM_VALUE 0 zlo->zones 4096-ptr_max
BUF_SIZE 0 zlo 736,792,816,1000-s32max
BUF_SIZE 0 zlo 736,792,816,1000-s32max
DATA_SOURCE 0 zlo $0
DATA_SOURCE 1 zone_no $1
LOCK2 &zone->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct zloop_zone)->lock

drivers/block/zloop.c zloop_init_zone() -> zloop_update_seq_zone()

Type Parameter Key Value
PARAM_VALUE 0 zlo 4096-ptr_max
PARAM_VALUE 0 zlo->base_dir 4096-ptr_max
PARAM_VALUE 0 zlo->data_dir 0-ptr_max
PARAM_VALUE 0 zlo->id 0-s32max
PARAM_VALUE 0 zlo->nr_conv_zones 0-4294967294
PARAM_VALUE 0 zlo->nr_zones 1-u32max
PARAM_VALUE 0 zlo->open_zones_lru_list.next 712,4096-ptr_max
PARAM_VALUE 0 zlo->open_zones_lru_list.next->next 712,4096-ptr_max
PARAM_VALUE 0 zlo->open_zones_lru_list.prev 712,4096-ptr_max
PARAM_VALUE 0 zlo->open_zones_lru_list.prev->next 712,4096-ptr_max
PARAM_VALUE 0 zlo->open_zones_lru_list.prev->prev 712,4096-ptr_max
PARAM_VALUE 0 zlo->state 0
PARAM_VALUE 0 zlo->workqueue 4096-ptr_max
PARAM_VALUE 0 zlo->zone_capacity 1-u64max
PARAM_VALUE 0 zlo->zone_shift 0-31
PARAM_VALUE 0 zlo->zone_size 2048-33554432
PARAM_VALUE 0 zlo->zones 4096-ptr_max
BUF_SIZE 0 zlo 1008-s32max
BUF_SIZE 0 zlo 1008-s32max
BUF_SIZE 0 zlo->data_dir (-1),1-s32max
BUF_SIZE 0 zlo->workqueue (-1),512,528-8720
CAPPED_DATA 0 zlo->max_open_zones 1
CAPPED_DATA 0 zlo->nr_conv_zones 1
CAPPED_DATA 1 zone_no 1
DATA_SOURCE 0 zlo $0
DATA_SOURCE 1 zone_no $2
PARAM_COMPARE 0 zlo->nr_conv_zones <= $1
PARAM_COMPARE 1 zone_no >= $0->nr_conv_zones
NO_OVERFLOW_SIMPLE 0 zlo->max_open_zones
NO_OVERFLOW_SIMPLE 0 zlo->nr_conv_zones
NO_OVERFLOW_SIMPLE 0 zlo->zone_append
LOCK2 &zone->lock
TYPE_LOCK (struct zloop_zone)->lock

drivers/block/zloop.c zloop_open_zone() -> zloop_update_seq_zone()

Type Parameter Key Value
PARAM_VALUE 0 zlo 4096-ptr_max
PARAM_VALUE 0 zlo->zones 4096-ptr_max
BUF_SIZE 0 zlo 736,792,816,1000-s32max
BUF_SIZE 0 zlo 736,792,816,1000-s32max
DATA_SOURCE 0 zlo $0
DATA_SOURCE 1 zone_no $1
LOCK2 &zone->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct zloop_zone)->lock

drivers/block/zloop.c zloop_report_zones() -> zloop_update_seq_zone()

Type Parameter Key Value
PARAM_VALUE 0 zlo 4096-ptr_max
PARAM_VALUE 0 zlo->nr_zones 1-u32max
PARAM_VALUE 0 zlo->zones 4096-ptr_max
BUF_SIZE 0 zlo (-1),816,1008-s32max
BUF_SIZE 0 zlo (-1),816,1008-s32max
CAPPED_DATA 1 zone_no 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 zlo unit_byte
LOCK2 &zone->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct zloop_zone)->lock

drivers/block/zloop.c zloop_rw() -> zloop_update_seq_zone()

Type Parameter Key Value
PARAM_VALUE 0 zlo 4096-ptr_max
PARAM_VALUE 0 zlo->nr_zones 1-u32max
PARAM_VALUE 0 zlo->zones 4096-ptr_max
PARAM_VALUE 1 zone_no 0-4294967294
BUF_SIZE 0 zlo 128,736,792,816,1000-s32max
BUF_SIZE 0 zlo 128,736,792,816,1000-s32max
CAPPED_DATA 0 zlo->nr_zones 1
CAPPED_DATA 1 zone_no 1
DATA_SOURCE 1 zone_no r rq_zone_no
PARAM_COMPARE 0 zlo->nr_zones > $1
PARAM_COMPARE 1 zone_no < $0->nr_zones
UNITS 0 zlo unit_byte
LOCK2 &zone->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct zloop_zone)->lock