Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ubi 4096-ptr_max
PARAM_VALUE 0 ubi->ro_mode 0
PARAM_VALUE 1 vol 4096-ptr_max
PARAM_VALUE 1 vol->updating 1
PARAM_VALUE 4 len s32min-2147483646
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 r div_u64_rem
USER_DATA 4 len s32min-999999999[c]
UNITS 4 len unit_byte

drivers/mtd/ubi/upd.c ubi_more_update_data() -> write_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->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 4 len 0-s32max
BUF_SIZE 3 buf s32min-(-2),1-s32max
CAPPED_DATA 4 len 1
DATA_SOURCE 0 ubi $0
DATA_SOURCE 1 vol $1
PARAM_COMPARE 4 len <= $1->usable_leb_size
NOSPEC 4 len
USER_DATA 1 *vol->upd_buf s64min-s64max
USER_DATA 3 *buf s64min-s64max
USER_DATA 4 len 1-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