Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm.c __bind() -> dm_table_event_callback()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->md->disk->queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 *t->counts 0-4294967295
PARAM_VALUE 2 context 4096-ptr_max
DATA_SOURCE 0 t $1
DATA_SOURCE 2 context $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 t->num_allocated
LOCK2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm.c __unbind() -> dm_table_event_callback()

Type Parameter Key Value
PARAM_VALUE 0 t 1-u64max
PARAM_VALUE 1 fn 0
PARAM_VALUE 2 context 0
NOCHECK_CALL