Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->fldrv_priv 4096-ptr_max
PARAM_VALUE 2 buf 4096-ptr_max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 4 len 1
DATA_SOURCE 0 map $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 3 start 0-s32max[c]
HOST_DATA 4 len 0-2147483646[c]
USER_DATA 3 start 0-s32max[c]
UNITS 0 map unit_byte
UNITS 2 buf unit_byte
UNITS 3 start unit_byte
UNITS 4 len unit_byte
LOCK2 &chip->mutex
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/chips/cfi_cmdset_0001.c cfi_intelext_write_words() -> map_word_load_partial()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->fldrv_priv 4096-ptr_max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 2 buf (-1)-s32max
BUF_SIZE 2 buf (-1)-s32max
CAPPED_DATA 4 len 1
DATA_SOURCE 1 orig r map_word_ff
DATA_SOURCE 2 buf $4
BIT_INFO 1 orig 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 4 len 0-2147483646[c]
USER_DATA 4 len 0-2147483646[c]
UNITS 0 map unit_byte
UNITS 3 start unit_byte
UNITS 4 len unit_byte
USER_PTR 2 buf
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &ftl->mutex
HALF_LOCKED2 &master->master.chrdev_lock
HALF_LOCKED2 &mbd->lock

drivers/mtd/chips/cfi_cmdset_0001.c cfi_intelext_write_words() -> map_word_load_partial()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->bankwidth s32min-(-1),1-s32max
PARAM_VALUE 0 map->fldrv_priv 4096-ptr_max
PARAM_VALUE 3 start 0
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 2 buf (-1)-s32max
BUF_SIZE 2 buf (-1)-s32max
CAPPED_DATA 4 len 1
DATA_SOURCE 1 orig r map_word_ff
DATA_SOURCE 2 buf $4 [m]
DATA_SOURCE 4 len $2 [m]
PARAM_COMPARE 4 len < $0->bankwidth
BIT_INFO 1 orig 0x0,0x0
NOSPEC 2 buf
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 buf 4096-ptr_max[c]
HOST_DATA 4 len 1-s32max[c]
USER_DATA 2 buf 4096-ptr_max[c][u]
USER_DATA 4 len 1-s32max[c]
UNITS 0 map unit_byte
UNITS 4 len unit_byte
USER_PTR 2 buf
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &ftl->mutex
HALF_LOCKED2 &master->master.chrdev_lock
HALF_LOCKED2 &mbd->lock

drivers/mtd/chips/cfi_cmdset_0001.c do_otp_write() -> map_word_load_partial()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 2 buf (-1)-s32max
BUF_SIZE 2 buf (-1)-s32max
CAPPED_DATA 4 len 1
DATA_SOURCE 0 map $0
DATA_SOURCE 1 orig r map_word_ff
DATA_SOURCE 2 buf $3 [m]
BIT_INFO 1 orig 0x0,0x0
NOSPEC 2 buf
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 buf 4096-ptr_max[c]
HOST_DATA 2 *buf 0-255
HOST_DATA 4 len 1-2147483646[c]
USER_DATA 2 buf 4096-ptr_max[c][u]
USER_DATA 2 *buf 0-255
USER_DATA 4 len 1-2147483646[c]
NO_OVERFLOW_SIMPLE 2 buf->node.size
UNITS 0 map unit_byte
UNITS 3 start unit_byte
UNITS 4 len unit_byte
USER_PTR 2 buf
HALF_LOCKED2 &master->master.chrdev_lock

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

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->fldrv_priv 4096-ptr_max
PARAM_VALUE 0 map->read 4096-ptr_max
PARAM_VALUE 2 buf 4096-ptr_max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 4 len 1
DATA_SOURCE 0 map $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 map unit_byte
UNITS 2 buf unit_byte
UNITS 3 start unit_byte
UNITS 4 len unit_byte
LOCK2 &chip->mutex
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/chips/cfi_cmdset_0002.c cfi_amdstd_panic_write() -> map_word_load_partial()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->fldrv_priv 4096-ptr_max
PARAM_VALUE 0 map->fldrv_priv->cmdset_priv->MinorVersion 48
PARAM_VALUE 0 map->read 4096-ptr_max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 2 buf (-1)-s32max
BUF_SIZE 2 buf (-1)-s32max
CAPPED_DATA 4 len 1
DATA_SOURCE 2 buf $4
BIT_INFO 1 orig 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 buf 4096-ptr_max[c][u]
USER_DATA 4 len 2-2147483646[c]
UNITS 0 map unit_byte
UNITS 3 start unit_byte
UNITS 4 len unit_byte
HALF_LOCKED2 rcu_read

drivers/mtd/chips/cfi_cmdset_0002.c cfi_amdstd_panic_write() -> map_word_load_partial()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->bankwidth s32min-(-1),1-s32max
PARAM_VALUE 0 map->fldrv_priv 4096-ptr_max
PARAM_VALUE 0 map->fldrv_priv->cmdset_priv->MinorVersion 48
PARAM_VALUE 0 map->read 4096-ptr_max
PARAM_VALUE 3 start 0
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 2 buf (-1)-s32max
BUF_SIZE 2 buf (-1)-s32max
CAPPED_DATA 4 len 1
DATA_SOURCE 2 buf $4 [m]
DATA_SOURCE 4 len $2 [m]
PARAM_COMPARE 4 len < $0->bankwidth
BIT_INFO 1 orig 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 buf 4096-ptr_max[c][u]
USER_DATA 4 len 2-s32max[c]
UNITS 0 map unit_byte
UNITS 4 len unit_byte
HALF_LOCKED2 rcu_read

drivers/mtd/chips/cfi_cmdset_0002.c cfi_amdstd_write_words() -> map_word_load_partial()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->fldrv_priv 4096-ptr_max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 2 buf (-1)-s32max
BUF_SIZE 2 buf (-1)-s32max
CAPPED_DATA 4 len 1
DATA_SOURCE 2 buf $4
BIT_INFO 1 orig 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 buf 4096-ptr_max[c]
HOST_DATA 4 len 0-2147483646[c]
USER_DATA 2 buf 4096-ptr_max[c][u]
USER_DATA 4 len 0-2147483646[c]
UNITS 0 map unit_byte
UNITS 3 start unit_byte
UNITS 4 len unit_byte
USER_PTR 2 buf
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &ftl->mutex
HALF_LOCKED2 &master->master.chrdev_lock
HALF_LOCKED2 &mbd->lock

drivers/mtd/chips/cfi_cmdset_0002.c cfi_amdstd_write_words() -> map_word_load_partial()

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

drivers/mtd/chips/cfi_cmdset_0002.c do_otp_write() -> map_word_load_partial()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->fldrv_priv 4096-ptr_max
PARAM_VALUE 0 map->read 4096-ptr_max
PARAM_VALUE 0 map->write 4096-ptr_max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 2 buf (-1)-s32max
BUF_SIZE 2 buf (-1)-s32max
CAPPED_DATA 4 len 1
DATA_SOURCE 0 map $0
DATA_SOURCE 2 buf $4 [m]
BIT_INFO 1 orig 0x0,0x0
NOSPEC 2 buf
NOSPEC 4 len
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 buf 4096-ptr_max[c]
HOST_DATA 2 *buf 0-255
HOST_DATA 4 len 2-255[c]
USER_DATA 2 buf 4096-ptr_max[c][u]
USER_DATA 2 *buf 0-255
USER_DATA 4 len 2-255[c]
NO_OVERFLOW_SIMPLE 2 buf->node.size
UNITS 0 map unit_byte
UNITS 3 start unit_byte
UNITS 4 len unit_byte
USER_PTR 2 buf
HALF_LOCKED2 &master->master.chrdev_lock