Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

block/badblocks.c _badblocks_set() -> insert_at()

Type Parameter Key Value
PARAM_VALUE 0 bb 4096-ptr_max
PARAM_VALUE 0 bb->count 0
PARAM_VALUE 0 bb->shift 0-s32max
PARAM_VALUE 1 at 0
PARAM_VALUE 2 bad 3393746048747716608
PARAM_VALUE 2 bad->ack 0-1
DATA_SOURCE 0 bb $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 bad->start 0-u64max[c]
LOCK2 0 &bb->lock.lock
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct seqlock)->lock

block/badblocks.c _badblocks_set() -> insert_at()

Type Parameter Key Value
PARAM_VALUE 0 bb 4096-ptr_max
PARAM_VALUE 0 bb->count 1-511
PARAM_VALUE 0 bb->shift 0-s32max
PARAM_VALUE 1 at 0
PARAM_VALUE 2 bad 3393746048747716608
PARAM_VALUE 2 bad->ack 0-1
CAPPED_DATA 0 bb->count 1
DATA_SOURCE 0 bb $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 bad->start 0-u64max[c]
LOCK2 0 &bb->lock.lock
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct seqlock)->lock

block/badblocks.c _badblocks_set() -> insert_at()

Type Parameter Key Value
PARAM_VALUE 0 bb 4096-ptr_max
PARAM_VALUE 0 bb->count 1-511
PARAM_VALUE 0 bb->page 4096-ptr_max
PARAM_VALUE 0 bb->shift 0-s32max
PARAM_VALUE 2 bad 3393746048747716608
PARAM_VALUE 2 bad->ack 0-1
CAPPED_DATA 0 bb->count 1
CAPPED_DATA 1 at 1
DATA_SOURCE 0 bb $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 bad->start 0-u64max[c]
LOCK2 0 &bb->lock.lock
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct seqlock)->lock

drivers/md/persistent-data/dm-btree.c insert() -> insert_at()

Type Parameter Key Value
PARAM_VALUE 0 bb 8
PARAM_VALUE 1 at 4096-ptr_max
PARAM_VALUE 2 bad 0-2147483646
PARAM_VALUE 4 value 8222328991360364544
BUF_SIZE 4 value 8
CAPPED_DATA 1 at->header.nr_entries 1
CAPPED_DATA 2 bad 1
DATA_SOURCE 1 at r dm_block_data
USER_DATA 3 key 0-u64max
UNITS 0 bb unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &td->pmd->root_lock

drivers/md/persistent-data/dm-btree.c insert() -> insert_at()

Type Parameter Key Value
PARAM_VALUE 1 at 4096-ptr_max
PARAM_VALUE 2 bad 0-2147483646
PARAM_VALUE 4 value 4096-ptr_max
BUF_SIZE 4 value 4,8,12,16,24
BUF_SIZE 4 value 4,8,12,16,24
CAPPED_DATA 1 at->header.nr_entries 1
CAPPED_DATA 2 bad 1
DATA_SOURCE 1 at r dm_block_data
DATA_SOURCE 4 value $3
USER_DATA 3 key 0-u64max
UNITS 0 bb unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &td->pmd->root_lock

drivers/md/persistent-data/dm-btree.c split_one_into_two() -> insert_at()

Type Parameter Key Value
PARAM_VALUE 0 bb 8
PARAM_VALUE 2 bad 1-s32max
PARAM_VALUE 4 value 4833212323236798464
BUF_SIZE 4 value 8
CAPPED_DATA 2 bad 1
DATA_SOURCE 1 at r dm_block_data
UNITS 0 bb unit_byte
HALF_LOCKED2 &td->pmd->root_lock

drivers/md/persistent-data/dm-btree.c split_two_into_three() -> insert_at()

Type Parameter Key Value
PARAM_VALUE 0 bb 8
PARAM_VALUE 1 at 4096-ptr_max
PARAM_VALUE 1 at->keys 4096-ptr_max
PARAM_VALUE 2 bad 1-2147483646
PARAM_VALUE 4 value 6325663062809526272
BUF_SIZE 4 value 8
CAPPED_DATA 2 bad 1
DATA_SOURCE 1 at r dm_block_data
FUZZY_MAX 2 bad 1
UNITS 0 bb unit_byte
HALF_LOCKED2 &td->pmd->root_lock