Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/mtd/ubi/io.c torture_peb() -> ubi_check_pattern()

Type Parameter Key Value
PARAM_VALUE 1 patt 255
BUF_SIZE 0 buf s32min-(-1),1-s32max
BUF_SIZE 0 buf s32min-(-1),1-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 *buf 0-255
NO_OVERFLOW_SIMPLE 2 size
UNITS 2 size unit_byte
LOCK2 &ubi->buf_mutex
HALF_LOCKED2 &ubi->device_mutex
HALF_LOCKED2 &ubi->fm_eba_sem
HALF_LOCKED2 &ubi->fm_protect
HALF_LOCKED2 &ubi->move_mutex
HALF_LOCKED2 &ubi->work_sem
HALF_LOCKED2 global &ubi_devices_mutex
TYPE_LOCK (struct ubi_device)->buf_mutex

drivers/mtd/ubi/io.c torture_peb() -> ubi_check_pattern()

Type Parameter Key Value
PARAM_VALUE 1 patt 0,90,165
BUF_SIZE 0 buf s32min-(-1),1-s32max
BUF_SIZE 0 buf s32min-(-1),1-s32max
CAPPED_DATA 2 size 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 *buf 0-255
NO_OVERFLOW_SIMPLE 2 size
UNITS 2 size unit_byte
LOCK2 &ubi->buf_mutex
HALF_LOCKED2 &ubi->device_mutex
HALF_LOCKED2 &ubi->fm_eba_sem
HALF_LOCKED2 &ubi->fm_protect
HALF_LOCKED2 &ubi->move_mutex
HALF_LOCKED2 &ubi->work_sem
HALF_LOCKED2 global &ubi_devices_mutex
TYPE_LOCK (struct ubi_device)->buf_mutex

drivers/mtd/ubi/io.c ubi_io_read_ec_hdr() -> ubi_check_pattern()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 1 patt 255
PARAM_VALUE 2 size 64
DATA_SOURCE 0 buf $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 2 size unit_byte
HALF_LOCKED2 &ubi->fm_protect
HALF_LOCKED2 global &ubi_devices_mutex

drivers/mtd/ubi/io.c ubi_io_read_vid_hdr() -> ubi_check_pattern()

Type Parameter Key Value
PARAM_VALUE 0 buf 4096-ptr_max
PARAM_VALUE 1 patt 255
PARAM_VALUE 2 size 64
RX_PATH
TASK_NOT_RUNNING
UNITS 0 buf unit_byte
UNITS 2 size unit_byte
HALF_LOCKED2 &le->mutex
HALF_LOCKED2 &ubi->buf_mutex
HALF_LOCKED2 &ubi->fm_eba_sem
HALF_LOCKED2 &ubi->fm_protect
HALF_LOCKED2 &ubi->move_mutex
HALF_LOCKED2 &ubi->work_sem
HALF_LOCKED2 global &ubi_devices_mutex

drivers/mtd/ubi/io.c ubi_self_check_all_ff() -> ubi_check_pattern()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 1 patt 255
BUF_SIZE 0 buf 0-s32max,18446744071562067968-u64max
BUF_SIZE 0 buf 0-s32max,18446744071562067968-u64max
DATA_SOURCE 0 buf r __vmalloc_noprof
DATA_SOURCE 2 size $3
NOSPEC 2 size
NOSPEC 2 size
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 size 3-s32max[c]
USER_DATA 2 size s32min-s32max[c]
NO_OVERFLOW_SIMPLE 2 size
UNITS 2 size unit_byte
BYTE_COUNT 0 ==buf2 8050
HALF_LOCKED2 &ubi->buf_mutex
HALF_LOCKED2 &ubi->device_mutex
HALF_LOCKED2 &ubi->fm_eba_sem
HALF_LOCKED2 &ubi->fm_protect
HALF_LOCKED2 &ubi->move_mutex
HALF_LOCKED2 &ubi->work_sem
HALF_LOCKED2 global &ubi_devices_mutex

drivers/mtd/ubi/attach.c check_corruption() -> ubi_check_pattern()

Type Parameter Key Value
PARAM_VALUE 1 patt 255
PARAM_VALUE 2 size 0-s32max,18446744071562067968-u64max
BUF_SIZE 0 buf s32min-(-1),1-s32max
BUF_SIZE 0 buf s32min-(-1),1-s32max
MEM_ZERO 0 buf
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 *buf 0-255
UNITS 2 size unit_byte
LOCK2 &ubi->buf_mutex
LOCK2 global &ubi_devices_mutex
HALF_LOCKED2 global &mtd_table_mutex
TYPE_LOCK (struct ubi_device)->buf_mutex