Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-integrity.c dm_integrity_map_continue() -> add_journal_node()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->endio_wait.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ic->failed 0
PARAM_VALUE 0 ic->journal_tree 4096-ptr_max
PARAM_VALUE 0 ic->mode 74
PARAM_VALUE 0 ic->sb 4096-ptr_max
PARAM_VALUE 1 node 4096-ptr_max
BUF_SIZE 0 ic (-1),16,40-s32max
BUF_SIZE 0 ic (-1),16,40-s32max
CAPPED_DATA 0 ic->free_section_entry 1
CAPPED_DATA 0 ic->journal_sections 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 sector unit_byte
LOCK2 irq
LOCK2 0 &ic->endio_wait.lock
HALF_LOCKED2 &md->io_barrier
TYPE_LOCK (struct wait_queue_head)->lock