Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

block/elevator.c elevator_alloc() -> __elevator_get()

Type Parameter Key Value
PARAM_VALUE 0 e 4096-ptr_max
PARAM_VALUE 0 e->elevator_alias 0,4096-ptr_max
PARAM_VALUE 0 e->elevator_owner 0,4096-ptr_max
PARAM_VALUE 0 e->elevator_owner->refcnt.counter 0-s32max
PARAM_VALUE 0 e->elevator_owner->state 0-1,3-u32max
DATA_SOURCE 0 e $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &q->elevator_lock
HALF_LOCKED2 &q->sysfs_lock
HALF_LOCKED2 &set->tag_list_lock
HALF_LOCKED2 &set->update_nr_hwq_lock
TYPE_LOCK (struct request_queue)->elevator_lock

block/blk-mq.c blk_mq_elv_switch_none() -> __elevator_get()

Type Parameter Key Value
PARAM_VALUE 0 e 4096-ptr_max
PARAM_VALUE 0 e->elevator_name 1293291037062647808,3885852998487097344,6240106221646659584
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &set->tag_list_lock
LOCK2 &set->update_nr_hwq_lock
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &dev->shutdown_lock
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &lock
TYPE_LOCK (struct blk_mq_tag_set)->tag_list_lock
TYPE_LOCK (struct blk_mq_tag_set)->update_nr_hwq_lock