Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

block/blk-ioc.c ioc_destroy_icq() -> ioc_exit_icq()

Type Parameter Key Value
PARAM_VALUE 0 icq 4096-ptr_max
PARAM_VALUE 0 icq->ioc 4096-ptr_max
PARAM_VALUE 0 icq->ioc_node->next->pprev 1-u64max
PARAM_VALUE 0 icq->ioc_node.next 0
PARAM_VALUE 0 icq->ioc_node.pprev 0
PARAM_VALUE 0 icq->q 4096-ptr_max
PARAM_VALUE 0 icq->q->elevator 4096-ptr_max
PARAM_VALUE 0 icq->q_node.next->prev 4096-ptr_max
PARAM_VALUE 0 icq->q_node.prev->next 4096-ptr_max
CAPPED_DATA 0 icq 1
CAPPED_DATA 0 icq->q->id 1
DATA_SOURCE 0 icq $0
BIT_INFO 0 icq->flags 0x0,0xfffffff7
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &q->queue_lock
LOCK2 irq
HALF_LOCKED2 &ioc->lock
HALF_LOCKED2 &q->elevator_lock
HALF_LOCKED2 rcu_read
HALF_LOCKED2 0 &icq->ioc->lock
TYPE_LOCK (struct io_context)->lock
TYPE_LOCK (struct request_queue)->queue_lock

block/blk-ioc.c ioc_exit_icqs() -> ioc_exit_icq()

Type Parameter Key Value
PARAM_VALUE 0 icq 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ioc->lock
LOCK2 irq
HALF_LOCKED2 global &system_transition_mutex
TYPE_LOCK (struct io_context)->lock