Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/ubi/upd.c write_leb() -> ubi_eba_write_leb_st()

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->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->updating 1
PARAM_VALUE 1 vol->vol_type s32min-2,4-s32max
BUF_SIZE 3 buf s32min-(-2),1-s32max
BUF_SIZE 3 buf s32min-(-2),1-s32max
CAPPED_DATA 4 len 1
DATA_SOURCE 0 ubi $0
DATA_SOURCE 1 vol $1
DATA_SOURCE 2 lnum $2
DATA_SOURCE 3 buf $3
DATA_SOURCE 4 len $4
DATA_SOURCE 5 used_ebs $5
USER_DATA 1 *vol->upd_buf s64min-s64max
USER_DATA 3 *buf s64min-s64max
USER_DATA 4 len s32min-1000000000[c]
NO_OVERFLOW_SIMPLE 1 vol->upd_buf
NO_OVERFLOW_SIMPLE 3 buf
UNITS 4 len unit_byte
USER_PTR 1 vol->upd_buf
USER_PTR 3 buf