Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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 1 prev 0-s32max
PARAM_VALUE 2 bad 3393746048747716608
PARAM_VALUE 2 bad->ack 0-1
PARAM_VALUE 2 bad->start 0-18014398509482494
PARAM_VALUE 3 extra 2941795459030011904
PARAM_VALUE 3 *extra 0
CAPPED_DATA 0 bb->count 1
CAPPED_DATA 1 prev 1
DATA_SOURCE 0 bb $0
DATA_SOURCE 1 prev r prev_badblocks
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 bad->start 0-18014398509482494[c]
LOCK2 0 &bb->lock.lock
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct seqlock)->lock