Defined in 4 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/mtd/lpddr/lpddr_cmds.c lpddr_writev() -> do_write_buffer()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->fldrv_priv 4096-ptr_max
PARAM_VALUE 1 chip 4096-ptr_max
PARAM_VALUE 3 *pvec 4096-u64max
PARAM_VALUE 4 pvec_seek 2687172229688619008
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 5 len 1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 adr 0-7442450941[c]
HOST_DATA 5 len 0-s32max[c]
USER_DATA 2 adr 0-9223372039002259454
UNITS 0 map unit_byte

drivers/mtd/chips/cfi_cmdset_0001.c cfi_intelext_writev() -> do_write_buffer()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->fldrv_priv 4096-ptr_max
PARAM_VALUE 1 chip 4096-ptr_max
PARAM_VALUE 3 *pvec 4096-u64max
PARAM_VALUE 4 pvec_seek 4507152109676994560
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 5 len 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 map unit_byte

drivers/mtd/chips/cfi_cmdset_0002.c cfi_amdstd_write_buffers() -> do_write_buffer()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->fldrv_priv 4096-ptr_max
PARAM_VALUE 1 chip 4096-ptr_max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 3 pvec (-1)-s32max
BUF_SIZE 3 pvec (-1)-s32max
DATA_SOURCE 3 pvec $4 [m]
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 3 pvec 4096-ptr_max[c]
HOST_DATA 4 pvec_seek 0-s32max[c]
USER_DATA 3 pvec 4096-ptr_max[c][u]
USER_DATA 4 pvec_seek 0-s32max[c]
UNITS 0 map unit_byte
USER_PTR 3 pvec
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &ftl->mutex
HALF_LOCKED2 &master->master.chrdev_lock
HALF_LOCKED2 &mbd->lock

drivers/mtd/chips/cfi_cmdset_0020.c cfi_staa_write_buffers() -> do_write_buffer()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->fldrv_priv 4096-ptr_max
PARAM_VALUE 1 chip 4096-ptr_max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 3 pvec (-1)-s32max
BUF_SIZE 3 pvec (-1)-s32max
CAPPED_DATA 4 pvec_seek 1
DATA_SOURCE 3 pvec $4 [m]
NOSPEC 3 pvec
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 3 pvec 4096-ptr_max[c]
HOST_DATA 4 pvec_seek 2-s32max[c]
USER_DATA 3 pvec 4096-ptr_max[c][u]
USER_DATA 4 pvec_seek 2-s32max[c]
UNITS 0 map unit_byte
USER_PTR 3 pvec
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &ftl->mutex
HALF_LOCKED2 &master->master.chrdev_lock
HALF_LOCKED2 &mbd->lock