Open Menu /

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 self_check_ec_hdr() -> ubi_dump_ec_hdr()

Type Parameter Key Value
PARAM_VALUE 0 ec_hdr 4096-ptr_max
DATA_SOURCE 0 ec_hdr $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ec_hdr->ec 2-s32max[c][u]
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/io.c self_check_peb_ec_hdr() -> ubi_dump_ec_hdr()

Type Parameter Key Value
PARAM_VALUE 0 ec_hdr 4096-ptr_max
BUF_SIZE 0 ec_hdr 0-s32max,18446744071562067968-u64max
BUF_SIZE 0 ec_hdr 0-s32max,18446744071562067968-u64max
DATA_SOURCE 0 ec_hdr r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 *ec_hdr 0-255
HALF_LOCKED2 &le->mutex
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/io.c ubi_io_read_ec_hdr() -> ubi_dump_ec_hdr()

Type Parameter Key Value
PARAM_VALUE 0 ec_hdr 4096-ptr_max
PARAM_VALUE 0 ec_hdr->magic 0-1430407458,1430407460-u32max
DATA_SOURCE 0 ec_hdr $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 *ec_hdr 0-255
HALF_LOCKED2 &ubi->fm_protect
HALF_LOCKED2 global &ubi_devices_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 ec_hdr 4096-ptr_max
PARAM_VALUE 0 ec_hdr->magic 1430407459
DATA_SOURCE 0 ec_hdr $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 *ec_hdr 0-255
HALF_LOCKED2 &ubi->fm_protect
HALF_LOCKED2 global &ubi_devices_mutex

drivers/mtd/ubi/io.c validate_ec_hdr() -> ubi_dump_ec_hdr()

Type Parameter Key Value
PARAM_VALUE 0 ec_hdr 4096-ptr_max
PARAM_VALUE 0 ec_hdr->magic 1430407459
DATA_SOURCE 0 ec_hdr $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ec_hdr->ec 2-s32max[c][u]
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 scan_peb() -> ubi_dump_ec_hdr()

Type Parameter Key Value
PARAM_VALUE 0 ec_hdr 4096-ptr_max
PARAM_VALUE 0 ec_hdr->magic 1430407459
PARAM_VALUE 0 ec_hdr->version 1
CAPPED_DATA 0 ec_hdr->data_offset 1
CAPPED_DATA 0 ec_hdr->hdr_crc 1
CAPPED_DATA 0 ec_hdr->vid_hdr_offset 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &ubi_devices_mutex
HALF_LOCKED2 global &mtd_table_mutex

drivers/mtd/ubi/attach.c scan_peb() -> ubi_dump_ec_hdr()

Type Parameter Key Value
PARAM_VALUE 0 ec_hdr 4096-ptr_max
PARAM_VALUE 0 ec_hdr->ec 0-s32max
PARAM_VALUE 0 ec_hdr->image_seq 1-u32max
PARAM_VALUE 0 ec_hdr->magic 1430407459
PARAM_VALUE 0 ec_hdr->version 1
CAPPED_DATA 0 ec_hdr->data_offset 1
CAPPED_DATA 0 ec_hdr->hdr_crc 1
CAPPED_DATA 0 ec_hdr->vid_hdr_offset 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &ubi_devices_mutex
HALF_LOCKED2 global &mtd_table_mutex