Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-integrity.c autocommit_fn() -> dm_integrity_failed()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max

drivers/md/dm-integrity.c copy_from_journal() -> dm_integrity_failed()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->failed 0-s32max
BUF_SIZE 0 ic (-1),16,40-s32max
BUF_SIZE 0 ic (-1),16,40-s32max
CAPPED_DATA 0 ic->sectors_per_block 1
DATA_SOURCE 0 ic $0
NO_OVERFLOW_SIMPLE 0 ic->bufio->slab_cache->object_size

drivers/md/dm-integrity.c create_journal() -> dm_integrity_failed()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
BUF_SIZE 0 ic->journal 0-s32max
BUF_SIZE 0 ic->journal_crypt s32min-s32max
BUF_SIZE 0 ic->journal_io 0-s32max
BUF_SIZE 0 ic->journal_xor 0-s32max
CAPPED_DATA 0 ic->journal_pages 1
CAPPED_DATA 0 &ic->commit_ids 1
DATA_SOURCE 0 ic $0

drivers/md/dm-integrity.c create_journal() -> dm_integrity_failed()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
BUF_SIZE 0 ic->journal 0-s32max
BUF_SIZE 0 ic->journal_crypt s32min-s32max
BUF_SIZE 0 ic->journal_io 0-s32max
BUF_SIZE 0 ic->journal_io_scatterlist 0-s32max
BUF_SIZE 0 ic->journal_scatterlist 0-s32max
BUF_SIZE 0 ic->sk_requests 0-34359738360
CAPPED_DATA 0 ic->journal_pages 1
CAPPED_DATA 0 ic->journal_sections 1
DATA_SOURCE 0 ic $0
NO_OVERFLOW_SIMPLE 0 ic->journal_sections

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

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
BUF_SIZE 0 ic (-1),16,40-s32max
BUF_SIZE 0 ic (-1),16,40-s32max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 irq
LOCK2 0 &ic->endio_wait.lock
HALF_LOCKED2 &md->io_barrier
TYPE_LOCK (struct wait_queue_head)->lock

drivers/md/dm-integrity.c dm_integrity_rw_tag() -> dm_integrity_failed()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
BUF_SIZE 0 ic (-1),16,40-s32max
BUF_SIZE 0 ic (-1),16,40-s32max
DATA_SOURCE 0 ic $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ic->bufio->slab_cache->object_size

drivers/md/dm-integrity.c do_endio() -> dm_integrity_failed()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
BUF_SIZE 0 ic (-1),16,40-s32max
BUF_SIZE 0 ic (-1),16,40-s32max
DATA_SOURCE 0 ic $0
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-integrity.c do_endio_flush() -> dm_integrity_failed()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
BUF_SIZE 0 ic (-1),16,40-s32max
BUF_SIZE 0 ic (-1),16,40-s32max
DATA_SOURCE 0 ic $0
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-integrity.c integrity_recalc() -> dm_integrity_failed()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
CAPPED_DATA 0 ic->internal_hash_digestsize 1

drivers/md/dm-integrity.c integrity_recalc_inline() -> dm_integrity_failed()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
CAPPED_DATA 0 ic->internal_hash_digestsize 1

drivers/md/dm-integrity.c recalc_write_super() -> dm_integrity_failed()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->failed 0-s32max
BUF_SIZE 0 ic (-1),16,40-s32max
BUF_SIZE 0 ic (-1),16,40-s32max
DATA_SOURCE 0 ic $0
NO_OVERFLOW_SIMPLE 0 ic->bufio->slab_cache->object_size
HALF_LOCKED2 &md->suspend_lock

drivers/md/dm-integrity.c replay_journal() -> dm_integrity_failed()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
BUF_SIZE 0 ic 16,40-s32max
BUF_SIZE 0 ic 16,40-s32max
CAPPED_DATA 0 ic->provided_data_sectors 1
DATA_SOURCE 0 ic $0
LOCK2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-integrity.c rw_journal_sectors() -> dm_integrity_failed()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
BUF_SIZE 0 ic (-1),16,40-s32max
BUF_SIZE 0 ic (-1),16,40-s32max
DATA_SOURCE 0 ic $0
HALF_LOCKED2 &md->suspend_lock