Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/mtd/ubi/kapi.c ubi_leb_read() -> ubi_eba_read_leb()

Type Parameter Key Value
PARAM_VALUE 1 vol 4096-ptr_max
PARAM_VALUE 2 lnum 0-2147483646
PARAM_VALUE 4 offset 0-s32max
PARAM_VALUE 5 len 1-s32max
PARAM_VALUE 6 check 0
CAPPED_DATA 2 lnum 1
DATA_SOURCE 2 lnum $1
DATA_SOURCE 3 buf $2
DATA_SOURCE 4 offset $3
DATA_SOURCE 5 len $4
DATA_SOURCE 6 check $5
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 lnum 0-2147483646[c]
HOST_DATA 4 offset 0-s32max[c]
HOST_DATA 5 len 3-s32max[c]
USER_DATA 2 lnum 0-2147483646[c]
USER_DATA 4 offset 0-s32max[c]
USER_DATA 5 len 2-s32max[c]
NO_OVERFLOW_SIMPLE 5 len
UNITS 2 lnum unit_byte
UNITS 3 buf unit_byte
UNITS 4 offset unit_byte
UNITS 5 len unit_byte
BYTE_COUNT 3 ==buf5 8050
USER_PTR 3 buf
HALF_LOCKED2 _T->lock

drivers/mtd/ubi/eba.c ubi_eba_read_leb_sg() -> ubi_eba_read_leb()

Type Parameter Key Value
PARAM_VALUE 0 ubi->fm_eba_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ubi->fm_eba_sem.first_waiter->type 0-1
PARAM_VALUE 0 ubi->fm_protect.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ubi->fm_protect.first_waiter->type 0-1
PARAM_VALUE 0 ubi->work_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ubi->work_sem.first_waiter->type 0-1
PARAM_VALUE 1 vol 4096-ptr_max
PARAM_VALUE 2 lnum 0-2147483646
PARAM_VALUE 3 buf 4096-ptr_max
PARAM_VALUE 5 len 0-s32max
PARAM_VALUE 6 check 0
CAPPED_DATA 2 lnum 1
CAPPED_DATA 5 len 1
DATA_SOURCE 0 ubi $0
DATA_SOURCE 1 vol $1
DATA_SOURCE 2 lnum $3
DATA_SOURCE 4 offset $4
DATA_SOURCE 6 check $6
RX_PATH
TASK_NOT_RUNNING
UNITS 4 offset unit_byte
UNITS 5 len unit_byte
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read

drivers/mtd/ubi/cdev.c vol_cdev_read() -> ubi_eba_read_leb()

Type Parameter Key Value
PARAM_VALUE 0 ubi->fm_eba_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ubi->fm_eba_sem.first_waiter->type 0-1
PARAM_VALUE 0 ubi->fm_protect.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ubi->fm_protect.first_waiter->type 0-1
PARAM_VALUE 0 ubi->work_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ubi->work_sem.first_waiter->type 0-1
PARAM_VALUE 1 vol 4096-ptr_max
PARAM_VALUE 1 vol->ubi->fm_eba_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 vol->ubi->fm_eba_sem.first_waiter->type 0-1
PARAM_VALUE 1 vol->ubi->fm_protect.first_waiter->handoff_set 0-1
PARAM_VALUE 1 vol->ubi->fm_protect.first_waiter->type 0-1
PARAM_VALUE 1 vol->ubi->work_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 vol->ubi->work_sem.first_waiter->type 0-1
PARAM_VALUE 1 vol->upd_marker 0
PARAM_VALUE 1 vol->updating 0
PARAM_VALUE 3 buf 1-u64max
PARAM_VALUE 6 check 0
BUF_SIZE 3 buf 0-s32max,18446744071562067968-u64max
BUF_SIZE 3 buf 0-s32max,18446744071562067968-u64max
CAPPED_DATA 1 vol->used_bytes 1
DATA_SOURCE 3 buf r vmalloc_noprof
NOSPEC 5 len
USER_DATA 2 lnum 0-1000000001[c]
USER_DATA 3 *buf 0-255
USER_DATA 4 offset 0-1000000000[c]
USER_DATA 5 len 0-s32max[c]
UNITS 4 offset unit_byte
UNITS 5 len unit_byte

drivers/mtd/ubi/misc.c ubi_check_volume() -> ubi_eba_read_leb()

Type Parameter Key Value
PARAM_VALUE 0 ubi 4096-ptr_max
PARAM_VALUE 0 ubi->fm_eba_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ubi->fm_eba_sem.first_waiter->type 0-1
PARAM_VALUE 0 ubi->fm_protect.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ubi->fm_protect.first_waiter->type 0-1
PARAM_VALUE 0 ubi->volumes 4096-ptr_max
PARAM_VALUE 0 ubi->work_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ubi->work_sem.first_waiter->type 0-1
PARAM_VALUE 1 vol 4096-ptr_max
PARAM_VALUE 1 vol->used_ebs 1-s32max
PARAM_VALUE 1 vol->vol_type 4
PARAM_VALUE 2 lnum 0-s32max
PARAM_VALUE 3 buf 1-u64max
PARAM_VALUE 4 offset 0
PARAM_VALUE 6 check 1
BUF_SIZE 3 buf 0-s32max,18446744071562067968-u64max
BUF_SIZE 3 buf 0-s32max,18446744071562067968-u64max
CAPPED_DATA 2 lnum 1
DATA_SOURCE 0 ubi $0
DATA_SOURCE 3 buf r vmalloc_noprof
PARAM_COMPARE 2 lnum < $1->used_ebs
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ubi->bgt_thread->dl.pi_se->dl_runtime
UNITS 2 lnum unit_array_size
UNITS 5 len unit_byte
HALF_LOCKED2 0 &ubi->ckvol_mutex