Defined in 3 files as a prototype:

Defined in 3 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/mtd/lpddr/lpddr_cmds.c chip_ready() -> put_chip()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->fldrv_priv 4096-ptr_max
PARAM_VALUE 0 map->map_priv_1->p_dev->socket->ops_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 map->read 4096-ptr_max
PARAM_VALUE 1 chip 4096-ptr_max
PARAM_VALUE 1 chip->erase_suspended 0
PARAM_VALUE 1 chip->oldstate 4
PARAM_VALUE 1 chip->state 0
PARAM_VALUE 1 chip->write_suspended 0
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 chip 1
DATA_SOURCE 0 map $0
DATA_SOURCE 1 chip $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 map unit_byte
LOCK2 1 &chip->mutex

drivers/mtd/lpddr/lpddr_cmds.c do_erase_oneblock() -> put_chip()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->fldrv_priv 4096-ptr_max
PARAM_VALUE 0 map->map_priv_1->p_dev->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 map->read 4096-ptr_max
PARAM_VALUE 0 map->write 4096-ptr_max
PARAM_VALUE 1 chip 4096-ptr_max
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->oldstate 4
PARAM_VALUE 1 chip->priv->erasing->state 0-12,14-4294967295
PARAM_VALUE 1 chip->priv->lock.dep_map->name 0-255
PARAM_VALUE 1 chip->priv->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->priv->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->priv->writing->state 0-12,14-4294967295
PARAM_VALUE 1 chip->state 0
PARAM_VALUE 1 chip->write_suspended 0
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 chip 1
CAPPED_DATA 1 &chip->mutex 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 map unit_byte
LOCK2 1 &chip->mutex
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &ftl->mutex
HALF_LOCKED2 &master->master.chrdev_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &mtd_table_mutex
TYPE_LOCK (struct flchip)->mutex

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

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
PARAM_VALUE 1 chip 4096-ptr_max
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->oldstate 4
PARAM_VALUE 1 chip->priv->erasing->state 0-12,14-4294967295
PARAM_VALUE 1 chip->priv->lock.dep_map->name 0-255
PARAM_VALUE 1 chip->priv->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->priv->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->priv->writing->state 0-12,14-4294967295
PARAM_VALUE 1 chip->state 0
PARAM_VALUE 1 chip->write_suspended 0
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 chip 1
CAPPED_DATA 1 &chip->mutex 1
DATA_SOURCE 0 map $0
DATA_SOURCE 1 chip $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 map unit_byte
LOCK2 1 &chip->mutex
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/lpddr/lpddr_cmds.c do_xxlock() -> put_chip()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->fldrv_priv 4096-ptr_max
PARAM_VALUE 0 map->map_priv_1->p_dev->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 map->read 4096-ptr_max
PARAM_VALUE 0 map->write 4096-ptr_max
PARAM_VALUE 1 chip 4096-ptr_max
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->oldstate 4
PARAM_VALUE 1 chip->priv->erasing->state 0-12,14-4294967295
PARAM_VALUE 1 chip->priv->lock.dep_map->name 0-255
PARAM_VALUE 1 chip->priv->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->priv->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->priv->writing->state 0-12,14-4294967295
PARAM_VALUE 1 chip->state 0
PARAM_VALUE 1 chip->write_suspended 0
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 chip 1
CAPPED_DATA 1 &chip->mutex 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 map unit_byte
LOCK2 1 &chip->mutex
HALF_LOCKED2 &master->master.chrdev_lock
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/lpddr/lpddr_cmds.c get_chip() -> put_chip()

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 1 chip->state 0,3
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 &chip->mutex 1
DATA_SOURCE 0 map $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 map unit_byte
LOCK2 &chip->mutex
LOCK2 &shared->lock
LOCK2 1 &chip->mutex
TYPE_LOCK (struct flchip)->mutex
TYPE_LOCK (struct flchip_shared)->lock

drivers/mtd/lpddr/lpddr_cmds.c lpddr_read() -> put_chip()

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 1 chip->erase_suspended 1
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->oldstate 4
PARAM_VALUE 1 chip->priv->erasing->state 0-12,14-4294967295
PARAM_VALUE 1 chip->priv->lock.dep_map->name 0-255
PARAM_VALUE 1 chip->priv->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->priv->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->priv->writing->state 0-12,14-4294967295
PARAM_VALUE 1 chip->state 0
PARAM_VALUE 1 chip->write_suspended 0
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 chip 1
CAPPED_DATA 1 &chip->mutex 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 map->map_priv_1->dev.driver_data->gpio_values 0-4294967295[c]
HOST_DATA 0 map->map_priv_1->offset 0-4294967295[c]
USER_DATA 0 map->map_priv_1->dev.driver_data->gpio_values 0-4294967295[c]
USER_DATA 0 map->map_priv_1->offset 0-4294967295[c]
UNITS 0 map unit_byte
LOCK2 1 &chip->mutex
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &master->master.chrdev_lock
HALF_LOCKED2 global &mtd_table_mutex
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/lpddr/lpddr_cmds.c lpddr_unpoint() -> put_chip()

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 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.wait_lock.owner (-1)
PARAM_VALUE 1 chip->mutex.wait_lock.owner_cpu u32max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 &chip->mutex 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 map unit_byte
LOCK2 1 &chip->mutex
HALF_LOCKED2 &f->sem
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/lpddr/lpddr_cmds.c put_chip() -> put_chip()

Type Parameter Key Value
PARAM_VALUE 1 chip 1-u64max
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.wait_lock.owner (-1)
PARAM_VALUE 1 chip->mutex.wait_lock.owner_cpu u32max
BUF_SIZE 0 map s32min-(-1),1-s32max
BUF_SIZE 0 map s32min-(-1),1-s32max
CAPPED_DATA 1 &chip->mutex 1
DATA_SOURCE 0 map $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 map unit_byte
LOCK2 1 &chip->mutex
HALF_LOCKED2 &chip->mutex
HALF_LOCKED2 &shared->lock

drivers/mtd/chips/cfi_cmdset_0001.c cfi_intelext_reset() -> put_chip()

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 1 chip->erase_suspended 1
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->oldstate 4,18
PARAM_VALUE 1 chip->priv->erasing->state 0-12,14-4294967295
PARAM_VALUE 1 chip->priv->lock.dep_map->name 0-255
PARAM_VALUE 1 chip->priv->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->priv->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->priv->writing->state 0-12,14-4294967295
PARAM_VALUE 1 chip->state 20
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 &chip->mutex 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 map unit_byte
UNITS 2 adr unit_byte
LOCK2 1 &chip->mutex
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/chips/cfi_cmdset_0001.c cfi_intelext_unpoint() -> put_chip()

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 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.wait_lock.owner (-1)
PARAM_VALUE 1 chip->mutex.wait_lock.owner_cpu u32max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 &chip->mutex 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 map unit_byte
UNITS 2 adr unit_byte
LOCK2 1 &chip->mutex
HALF_LOCKED2 &f->sem
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/chips/cfi_cmdset_0001.c chip_ready() -> put_chip()

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 1 chip->erase_suspended 1
PARAM_VALUE 1 chip->oldstate 4
PARAM_VALUE 1 chip->state 5
PARAM_VALUE 1 chip->write_suspended 0
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 chip 1
DATA_SOURCE 0 map $0
DATA_SOURCE 1 chip $1
DATA_SOURCE 2 adr $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 map unit_byte
UNITS 2 adr unit_byte
LOCK2 1 &chip->mutex

drivers/mtd/chips/cfi_cmdset_0001.c do_erase_oneblock() -> put_chip()

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 1 chip 4096-ptr_max
PARAM_VALUE 1 chip->erase_suspended 0
PARAM_VALUE 1 chip->in_progress_block_mask 0-s32max,18446744071562067968-u64max
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->state 1
PARAM_VALUE 1 chip->write_suspended 0
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 &chip->mutex 1
DATA_SOURCE 0 map $0
DATA_SOURCE 1 chip $1
DATA_SOURCE 2 adr $2
BIT_INFO 1 chip->in_progress_block_mask 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 1 &chip->mutex
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/chips/cfi_cmdset_0001.c do_erase_oneblock() -> put_chip()

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 1 chip 4096-ptr_max
PARAM_VALUE 1 chip->erase_suspended 0
PARAM_VALUE 1 chip->in_progress_block_mask 0-s32max,18446744071562067968-u64max
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->state 1
PARAM_VALUE 1 chip->write_suspended 0
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 &chip->mutex 1
DATA_SOURCE 0 map $0
DATA_SOURCE 1 chip $1
DATA_SOURCE 2 adr $2
BIT_INFO 1 chip->in_progress_block_mask 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 1 &chip->mutex
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/chips/cfi_cmdset_0001.c do_otp_read() -> put_chip()

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 1 chip->erase_suspended 1
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->oldstate 4,18
PARAM_VALUE 1 chip->priv->erasing->state 0-12,14-4294967295
PARAM_VALUE 1 chip->priv->lock.dep_map->name 0-255
PARAM_VALUE 1 chip->priv->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->priv->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->priv->writing->state 0-12,14-4294967295
PARAM_VALUE 1 chip->state 3
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 &chip->mutex 1
DATA_SOURCE 0 map $0
DATA_SOURCE 1 chip $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 map->map_priv_1->dev.driver_data->gpio_values 0-4294967295[c]
HOST_DATA 0 map->map_priv_1->offset 0-4294967295[c]
USER_DATA 0 map->map_priv_1->dev.driver_data->gpio_values 0-4294967295[c]
USER_DATA 0 map->map_priv_1->offset 0-4294967295[c]
UNITS 0 map unit_byte
UNITS 2 adr unit_byte
LOCK2 1 &chip->mutex
HALF_LOCKED2 &master->master.chrdev_lock
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/chips/cfi_cmdset_0001.c do_read_onechip() -> put_chip()

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 1 chip->erase_suspended 1
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->oldstate 4,18
PARAM_VALUE 1 chip->priv->erasing->state 0-12,14-4294967295
PARAM_VALUE 1 chip->priv->lock.dep_map->name 0-255
PARAM_VALUE 1 chip->priv->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->priv->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->priv->writing->state 0-12,14-4294967295
PARAM_VALUE 1 chip->state 0
PARAM_VALUE 2 adr 0-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 &chip->mutex 1
CAPPED_DATA 2 adr 1
CAPPED_DATA 2 adr 1
DATA_SOURCE 0 map $0
DATA_SOURCE 1 chip $1
BIT_INFO 2 adr 0x0,0xffffffff
BIT_INFO 2 adr 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 map->map_priv_1->dev.driver_data->gpio_values 0-4294967295[c]
HOST_DATA 0 map->map_priv_1->offset 0-4294967295[c]
USER_DATA 0 map->map_priv_1->dev.driver_data->gpio_values 0-4294967295[c]
USER_DATA 0 map->map_priv_1->offset 0-4294967295[c]
UNITS 0 map unit_byte
LOCK2 1 &chip->mutex
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &master->master.chrdev_lock
HALF_LOCKED2 global &mtd_table_mutex
TYPE_LOCK (struct flchip)->mutex

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

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 1 chip 4096-ptr_max
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->oldstate 4,18
PARAM_VALUE 1 chip->priv->erasing->state 0-12,14-4294967295
PARAM_VALUE 1 chip->priv->lock.dep_map->name 0-255
PARAM_VALUE 1 chip->priv->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->priv->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->priv->writing->state 0-12,14-4294967295
PARAM_VALUE 1 chip->state 1
PARAM_VALUE 1 chip->write_suspended 0
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 &chip->mutex 1
DATA_SOURCE 0 map $0
DATA_SOURCE 1 chip $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 map unit_byte
LOCK2 1 &chip->mutex
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/chips/cfi_cmdset_0001.c do_write_oneword() -> put_chip()

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 1 chip 4096-ptr_max
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->oldstate 4,18
PARAM_VALUE 1 chip->priv->erasing->state 0-12,14-4294967295
PARAM_VALUE 1 chip->priv->lock.dep_map->name 0-255
PARAM_VALUE 1 chip->priv->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->priv->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->priv->writing->state 0-12,14-4294967295
PARAM_VALUE 1 chip->state 1
PARAM_VALUE 1 chip->write_suspended 0
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 chip 1
CAPPED_DATA 1 &chip->mutex 1
DATA_SOURCE 0 map $0
DATA_SOURCE 1 chip $1
DATA_SOURCE 2 adr $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 map unit_byte
UNITS 2 adr unit_byte
LOCK2 1 &chip->mutex
HALF_LOCKED2 &master->master.chrdev_lock
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/chips/cfi_cmdset_0001.c do_xxlock_oneblock() -> put_chip()

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 1 chip 4096-ptr_max
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->oldstate 4,18
PARAM_VALUE 1 chip->priv->erasing->state 0-12,14-4294967295
PARAM_VALUE 1 chip->priv->lock.dep_map->name 0-255
PARAM_VALUE 1 chip->priv->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->priv->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->priv->writing->state 0-12,14-4294967295
PARAM_VALUE 1 chip->state 1
PARAM_VALUE 1 chip->write_suspended 0
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 &chip->mutex 1
DATA_SOURCE 0 map $0
DATA_SOURCE 1 chip $1
DATA_SOURCE 2 adr $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 1 &chip->mutex
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/chips/cfi_cmdset_0001.c fwh_xxlock_oneblock() -> put_chip()

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 1 chip->erase_suspended 1
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->oldstate 0-1
PARAM_VALUE 1 chip->priv->erasing->state 0-12,14-4294967295
PARAM_VALUE 1 chip->priv->lock.dep_map->name 0-255
PARAM_VALUE 1 chip->priv->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->priv->lock.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->priv->writing->state 0-12,14-4294967295
PARAM_VALUE 1 chip->start 4194304-u64max
PARAM_VALUE 1 chip->state 0-1
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 &chip->mutex 1
DATA_SOURCE 0 map $0
DATA_SOURCE 1 chip $1
DATA_SOURCE 2 adr $2 [m]
FUZZY_MAX 1 chip->start 4194304
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 1 &chip->mutex
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/chips/cfi_cmdset_0001.c get_chip() -> put_chip()

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 1 chip->state 0-3
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 &chip->mutex 1
DATA_SOURCE 0 map $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 map unit_byte
UNITS 2 adr unit_byte
LOCK2 &chip->mutex
LOCK2 &shared->lock
LOCK2 1 &chip->mutex
TYPE_LOCK (struct flchip)->mutex
TYPE_LOCK (struct flchip_shared)->lock

drivers/mtd/chips/cfi_cmdset_0001.c put_chip() -> put_chip()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 1 chip 4096-ptr_max
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.wait_lock.owner (-1)
PARAM_VALUE 1 chip->mutex.wait_lock.owner_cpu u32max
BUF_SIZE 0 map s32min-(-1),1-s32max
BUF_SIZE 0 map s32min-(-1),1-s32max
CAPPED_DATA 1 &chip->mutex 1
DATA_SOURCE 0 map $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 map->oobsize
NO_OVERFLOW_SIMPLE 0 map->writesize
UNITS 0 map unit_byte
UNITS 2 adr unit_byte
LOCK2 1 &chip->mutex
HALF_LOCKED2 &chip->mutex
HALF_LOCKED2 &shared->lock

drivers/mtd/chips/cfi_cmdset_0002.c cfi_amdstd_otp_walk() -> put_chip()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->fldrv_priv 4096-ptr_max
PARAM_VALUE 0 map->map_priv_1->p_dev->socket->ops_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 map->map_priv_1->p_dev->socket->ops_mutex.first_waiter->task->blocked_on 0
PARAM_VALUE 0 map->read 4096-ptr_max
PARAM_VALUE 0 map->write 4096-ptr_max
PARAM_VALUE 1 chip 4096-ptr_max
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.wait_lock.owner (-1)
PARAM_VALUE 1 chip->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 chip->state 0-3
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 &chip->mutex 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 map->map_priv_1->offset 0-4294967295[c]
HOST_DATA 0 *map->priv->page_buf 0-255
HOST_DATA 0 *map->priv->verify_buf 0-255
USER_DATA 0 *map->priv->page_buf 0-255
UNITS 0 map unit_byte
UNITS 2 adr unit_byte
LOCK2 1 &chip->mutex
HALF_LOCKED2 &master->master.chrdev_lock
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/chips/cfi_cmdset_0002.c cfi_amdstd_otp_walk() -> put_chip()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->fldrv_priv 4096-ptr_max
PARAM_VALUE 0 map->map_priv_1->p_dev->socket->ops_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 map->map_priv_1->p_dev->socket->ops_mutex.first_waiter->task->blocked_on 0
PARAM_VALUE 0 map->read 4096-ptr_max
PARAM_VALUE 0 map->write 4096-ptr_max
PARAM_VALUE 1 chip 4096-ptr_max
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.wait_lock.owner (-1)
PARAM_VALUE 1 chip->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 chip->state 0-3
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 &chip->mutex 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 map->map_priv_1->offset 0-4294967295[c]
HOST_DATA 0 *map->priv->page_buf 0-255
HOST_DATA 0 *map->priv->verify_buf 0-255
USER_DATA 0 *map->priv->page_buf 0-255
UNITS 0 map unit_byte
UNITS 2 adr unit_byte
LOCK2 1 &chip->mutex
HALF_LOCKED2 &master->master.chrdev_lock
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/chips/cfi_cmdset_0002.c cfi_amdstd_reset() -> put_chip()

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 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.wait_lock.owner (-1)
PARAM_VALUE 1 chip->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 chip->state 20
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 &chip->mutex 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 map unit_byte
UNITS 2 adr unit_byte
LOCK2 1 &chip->mutex
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/chips/cfi_cmdset_0002.c do_atmel_lock() -> put_chip()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->fldrv_priv 4096-ptr_max
PARAM_VALUE 0 map->write 4096-ptr_max
PARAM_VALUE 1 chip 4096-ptr_max
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.wait_lock.owner (-1)
PARAM_VALUE 1 chip->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 chip->state 0
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 &chip->mutex 1
DATA_SOURCE 0 map $0
DATA_SOURCE 1 chip $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 adr unit_byte
LOCK2 1 &chip->mutex
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/chips/cfi_cmdset_0002.c do_atmel_unlock() -> put_chip()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->fldrv_priv 4096-ptr_max
PARAM_VALUE 0 map->write 4096-ptr_max
PARAM_VALUE 1 chip 4096-ptr_max
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.wait_lock.owner (-1)
PARAM_VALUE 1 chip->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 chip->state 0
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 &chip->mutex 1
DATA_SOURCE 0 map $0
DATA_SOURCE 1 chip $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 adr unit_byte
LOCK2 1 &chip->mutex
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/chips/cfi_cmdset_0002.c do_erase_chip() -> put_chip()

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
PARAM_VALUE 1 chip 4096-ptr_max
PARAM_VALUE 1 chip->erase_suspended 0
PARAM_VALUE 1 chip->in_progress_block_addr 0-s32max,18446744071562067968-u64max
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.wait_lock.owner (-1)
PARAM_VALUE 1 chip->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 chip->state 0
PARAM_VALUE 2 adr 0-s32max,18446744071562067968-u64max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 &chip->mutex 1
DATA_SOURCE 0 map $0
DATA_SOURCE 1 chip $1
BIT_INFO 1 chip->in_progress_block_addr 0x0,0xffffffff
BIT_INFO 2 adr 0x0,0xffffffff
BIT_INFO 2 adr 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 map unit_byte
LOCK2 1 &chip->mutex
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &ftl->mutex
HALF_LOCKED2 &master->master.chrdev_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &mtd_table_mutex
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/chips/cfi_cmdset_0002.c do_erase_oneblock() -> put_chip()

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
PARAM_VALUE 1 chip 4096-ptr_max
PARAM_VALUE 1 chip->erase_suspended 0
PARAM_VALUE 1 chip->in_progress_block_mask 0-s32max,18446744071562067968-u64max
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.wait_lock.owner (-1)
PARAM_VALUE 1 chip->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 chip->state 0
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 &chip->mutex 1
DATA_SOURCE 0 map $0
DATA_SOURCE 1 chip $1
DATA_SOURCE 2 adr $2
BIT_INFO 1 chip->in_progress_block_mask 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 1 &chip->mutex
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/chips/cfi_cmdset_0002.c do_otp_lock() -> put_chip()

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
PARAM_VALUE 1 chip 4096-ptr_max
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.wait_lock.owner (-1)
PARAM_VALUE 1 chip->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 chip->state 0
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 &chip->mutex 1
DATA_SOURCE 0 map $0
DATA_SOURCE 1 chip $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 map unit_byte
UNITS 2 adr unit_byte
LOCK2 1 &chip->mutex
HALF_LOCKED2 &master->master.chrdev_lock
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/chips/cfi_cmdset_0002.c do_ppb_xxlock() -> put_chip()

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
PARAM_VALUE 1 chip 4096-ptr_max
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.wait_lock.owner (-1)
PARAM_VALUE 1 chip->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 chip->state 0
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 &chip->mutex 1
DATA_SOURCE 0 map $0
DATA_SOURCE 1 chip $1
DATA_SOURCE 2 adr $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 map unit_byte
LOCK2 1 &chip->mutex
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/chips/cfi_cmdset_0002.c do_read_onechip() -> put_chip()

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 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.wait_lock.owner (-1)
PARAM_VALUE 1 chip->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 chip->state 0,17
PARAM_VALUE 2 adr 0-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 &chip->mutex 1
CAPPED_DATA 2 adr 1
CAPPED_DATA 2 adr 1
DATA_SOURCE 0 map $0
DATA_SOURCE 1 chip $1
FUZZY_MAX 1 chip->state 0
BIT_INFO 1 chip->state 0x0,0x11
BIT_INFO 2 adr 0x0,0xffffffff
BIT_INFO 2 adr 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 map->map_priv_1->dev.driver_data->gpio_values 0-4294967295[c]
HOST_DATA 0 map->map_priv_1->offset 0-4294967295[c]
USER_DATA 0 map->map_priv_1->dev.driver_data->gpio_values 0-4294967295[c]
USER_DATA 0 map->map_priv_1->offset 0-4294967295[c]
UNITS 0 map unit_byte
LOCK2 1 &chip->mutex
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &master->master.chrdev_lock
HALF_LOCKED2 global &mtd_table_mutex
TYPE_LOCK (struct flchip)->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->bankwidth 1-2,4,8-s32max
PARAM_VALUE 0 map->fldrv_priv 4096-ptr_max
PARAM_VALUE 0 map->fldrv_priv->cmdset_priv->MinorVersion 48
PARAM_VALUE 0 map->map_priv_1->p_dev->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 map->read 4096-ptr_max
PARAM_VALUE 0 map->write 4096-ptr_max
PARAM_VALUE 1 chip 4096-ptr_max
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 chip->mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 chip->mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 1 chip->mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->state 0
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 &chip->mutex 1
DATA_SOURCE 0 map $0
DATA_SOURCE 1 chip $1
DATA_SOURCE 2 adr $2 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 map unit_byte
LOCK2 1 &chip->mutex
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &ftl->mutex
HALF_LOCKED2 &master->master.chrdev_lock
HALF_LOCKED2 &mbd->lock
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/chips/cfi_cmdset_0002.c do_write_oneword_done() -> put_chip()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->fldrv_priv 4096-ptr_max
PARAM_VALUE 0 map->map_priv_1->p_dev->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 map->map_priv_1->p_dev->socket->ops_mutex.dep_map->name 0-255
PARAM_VALUE 0 map->map_priv_1->p_dev->socket->ops_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 map->map_priv_1->p_dev->socket->ops_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 map->map_priv_1->p_dev->socket->ops_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 map->read 4096-ptr_max
PARAM_VALUE 1 chip 4096-ptr_max
PARAM_VALUE 1 chip->erase_suspended 1
PARAM_VALUE 1 chip->state 0
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
DATA_SOURCE 0 map $0
DATA_SOURCE 1 chip $1
DATA_SOURCE 2 adr $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 map unit_byte
UNITS 2 adr unit_byte
LOCK2 1 &chip->mutex
HALF_LOCKED2 &master->master.chrdev_lock
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/chips/cfi_cmdset_0002.c fwh_xxlock_oneblock() -> put_chip()

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 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->oldstate 0-3
PARAM_VALUE 1 chip->start 4194304-u64max
PARAM_VALUE 1 chip->state 0-3
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
CAPPED_DATA 1 &chip->mutex 1
DATA_SOURCE 0 map $0
DATA_SOURCE 1 chip $1
DATA_SOURCE 2 adr $2 [m]
FUZZY_MAX 1 chip->start 4194304
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 1 &chip->mutex
TYPE_LOCK (struct flchip)->mutex

drivers/mtd/chips/cfi_cmdset_0002.c get_chip() -> put_chip()

Type Parameter Key Value
PARAM_VALUE 0 map 4096-ptr_max
PARAM_VALUE 0 map->fldrv_priv 4096-ptr_max
PARAM_VALUE 0 map->map_priv_1->p_dev->socket->ops_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 map->map_priv_1->p_dev->socket->ops_mutex.first_waiter->task->blocked_on 0
PARAM_VALUE 0 map->read 4096-ptr_max
PARAM_VALUE 1 chip 4096-ptr_max
PARAM_VALUE 1 chip->erase_suspended 1
PARAM_VALUE 1 chip->mutex.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 chip->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 chip->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 chip->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 1 chip->mutex.wait_lock.owner (-1)
PARAM_VALUE 1 chip->mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 1 chip->oldstate 4
PARAM_VALUE 1 chip->state 5
BUF_SIZE 0 map s32min-(-2),1-s32max
BUF_SIZE 0 map s32min-(-2),1-s32max
DATA_SOURCE 0 map $0
DATA_SOURCE 1 chip $1
DATA_SOURCE 2 adr $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 map unit_byte
UNITS 2 adr unit_byte
LOCK2 1 &chip->mutex
TYPE_LOCK (struct flchip)->mutex