Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/nand/raw/r852.c r852_cmdctl() -> r852_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 4
BUF_SIZE 0 dev 384,648,3728,3736,3776,3808,3888,3912,3968,3984,4008,4032,4056
BUF_SIZE 0 dev 384,648,3728,3736,3776,3808,3888,3912,3968,3984,4008,4032,4056
DATA_SOURCE 0 dev r r852_get_dev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock

drivers/mtd/nand/raw/r852.c r852_cmdctl() -> r852_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 4
BUF_SIZE 0 dev 384,648,3728,3736,3776,3808,3888,3912,3968,3984,4008,4032,4056
BUF_SIZE 0 dev 384,648,3728,3736,3776,3808,3888,3912,3968,3984,4008,4032,4056
DATA_SOURCE 0 dev r r852_get_dev
BIT_INFO 0 dev->ctlreg 0x81,0xff
BIT_INFO 2 value 0x81,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock

drivers/mtd/nand/raw/r852.c r852_cmdctl() -> r852_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 0
BUF_SIZE 0 dev 384,648,3728,3736,3776,3808,3888,3912,3968,3984,4008,4032,4056
BUF_SIZE 0 dev 384,648,3728,3736,3776,3808,3888,3912,3968,3984,4008,4032,4056
DATA_SOURCE 0 dev r r852_get_dev
DATA_SOURCE 2 value $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 value 0-255[c]
USER_DATA 2 value 0-255[c]
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock

drivers/mtd/nand/raw/r852.c r852_disable_irqs() -> r852_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 7
PARAM_VALUE 2 value 0,2-226
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev->bounce_buffer (-1),512
BUF_SIZE 0 dev->card_workqueue (-1),512,528-8720
BUF_SIZE 0 dev->chip (-1),3704
BUF_SIZE 0 dev->controller.ops (-1),32
BUF_SIZE 0 dev->pci_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 dev->tmp_buffer (-1),512
DATA_SOURCE 0 dev $0
BIT_INFO 2 value 0x0,0xe2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->card_detected 0-1
HOST_DATA 0 dev->pci_dev->current_state 0-3[c]
HOST_DATA 2 value 0,2-226
UNITS 0 dev unit_byte
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 0 &dev->irqlock

drivers/mtd/nand/raw/r852.c r852_disable_irqs() -> r852_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 6
PARAM_VALUE 2 value 29
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev->bounce_buffer (-1),512
BUF_SIZE 0 dev->card_workqueue (-1),512,528-8720
BUF_SIZE 0 dev->chip (-1),3704
BUF_SIZE 0 dev->controller.ops (-1),32
BUF_SIZE 0 dev->pci_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 dev->tmp_buffer (-1),512
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->card_detected 0-1
HOST_DATA 0 dev->pci_dev->current_state 0-3[c]
UNITS 0 dev unit_byte
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 0 &dev->irqlock

drivers/mtd/nand/raw/r852.c r852_ecc_calculate() -> r852_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 4
BUF_SIZE 0 dev 384,648,3728,3736,3776,3808,3888,3912,3968,3984,4008,4032,4056
BUF_SIZE 0 dev 384,648,3728,3736,3776,3808,3888,3912,3968,3984,4008,4032,4056
DATA_SOURCE 0 dev r r852_get_dev
BIT_INFO 0 dev->ctlreg 0x0,0xdf
BIT_INFO 2 value 0x40,0xdf
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock

drivers/mtd/nand/raw/r852.c r852_ecc_calculate() -> r852_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 4
PARAM_VALUE 2 value 0-223
BUF_SIZE 0 dev 384,648,3728,3736,3776,3808,3888,3912,3968,3984,4008,4032,4056
BUF_SIZE 0 dev 384,648,3728,3736,3776,3808,3888,3912,3968,3984,4008,4032,4056
DATA_SOURCE 0 dev r r852_get_dev
BIT_INFO 0 dev->ctlreg 0x0,0xdf
BIT_INFO 2 value 0x0,0xdf
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock

drivers/mtd/nand/raw/r852.c r852_ecc_correct() -> r852_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 4
BUF_SIZE 0 dev 384,648,3728,3736,3776,3808,3888,3912,3968,3984,4008,4032,4056
BUF_SIZE 0 dev 384,648,3728,3736,3776,3808,3888,3912,3968,3984,4008,4032,4056
DATA_SOURCE 0 dev r r852_get_dev
BIT_INFO 2 value 0x40,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock

drivers/mtd/nand/raw/r852.c r852_ecc_correct() -> r852_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 4
BUF_SIZE 0 dev 384,648,3728,3736,3776,3808,3888,3912,3968,3984,4008,4032,4056
BUF_SIZE 0 dev 384,648,3728,3736,3776,3808,3888,3912,3968,3984,4008,4032,4056
DATA_SOURCE 0 dev r r852_get_dev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock

drivers/mtd/nand/raw/r852.c r852_ecc_hwctl() -> r852_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 4
BUF_SIZE 0 dev 384,648,3728,3736,3776,3808,3888,3912,3968,3984,4008,4032,4056
BUF_SIZE 0 dev 384,648,3728,3736,3776,3808,3888,3912,3968,3984,4008,4032,4056
DATA_SOURCE 0 dev r r852_get_dev
BIT_INFO 0 dev->ctlreg 0x20,0xff
BIT_INFO 2 value 0x60,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock

drivers/mtd/nand/raw/r852.c r852_ecc_hwctl() -> r852_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 4
BUF_SIZE 0 dev 384,648,3728,3736,3776,3808,3888,3912,3968,3984,4008,4032,4056
BUF_SIZE 0 dev 384,648,3728,3736,3776,3808,3888,3912,3968,3984,4008,4032,4056
DATA_SOURCE 0 dev r r852_get_dev
BIT_INFO 0 dev->ctlreg 0x20,0xffffffffffffffff
BIT_INFO 2 value 0x20,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock

drivers/mtd/nand/raw/r852.c r852_ecc_hwctl() -> r852_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 4
PARAM_VALUE 2 value 0-223
BUF_SIZE 0 dev 384,648,3728,3736,3776,3808,3888,3912,3968,3984,4008,4032,4056
BUF_SIZE 0 dev 384,648,3728,3736,3776,3808,3888,3912,3968,3984,4008,4032,4056
DATA_SOURCE 0 dev r r852_get_dev
BIT_INFO 0 dev->ctlreg 0x0,0xdf
BIT_INFO 2 value 0x0,0xdf
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock

drivers/mtd/nand/raw/r852.c r852_engine_disable() -> r852_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 4
PARAM_VALUE 2 value 8
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev->bounce_buffer (-1),512
BUF_SIZE 0 dev->card_workqueue (-1),512,528-8720
BUF_SIZE 0 dev->chip (-1),3704
BUF_SIZE 0 dev->controller.ops (-1),32
BUF_SIZE 0 dev->pci_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
BUF_SIZE 0 dev->tmp_buffer (-1),512
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->pci_dev->current_state 0-3[c]
UNITS 0 dev unit_byte

drivers/mtd/nand/raw/r852.c r852_engine_enable() -> r852_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 4
PARAM_VALUE 2 value 12
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
CAPPED_DATA 0 dev->card_detected 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte

drivers/mtd/nand/raw/r852.c r852_engine_enable() -> r852_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 4
PARAM_VALUE 2 value 12
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
CAPPED_DATA 0 dev->card_detected 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte

drivers/mtd/nand/raw/r852.c r852_engine_enable() -> r852_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 4
PARAM_VALUE 2 value 0
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
CAPPED_DATA 0 dev->card_detected 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte

drivers/mtd/nand/raw/r852.c r852_irq() -> r852_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 6
DATA_SOURCE 0 dev $1
DATA_SOURCE 2 value r r852_read_reg
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 value 0-255
LOCK2 0 &dev->irqlock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags
TYPE_LOCK (struct r852_device)->irqlock

drivers/mtd/nand/raw/r852.c r852_update_card_detect() -> r852_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 7
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
CAPPED_DATA 0 dev->card_detected 1
DATA_SOURCE 0 dev $0
BIT_INFO 2 value 0x80,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 value 0-255[c]
UNITS 0 dev unit_byte

drivers/mtd/nand/raw/r852.c r852_write_buf() -> r852_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 0
BUF_SIZE 0 dev 384,648,3728,3736,3776,3808,3888,3912,3968,3984,4008,4032,4056
BUF_SIZE 0 dev 384,648,3728,3736,3776,3808,3888,3912,3968,3984,4008,4032,4056
DATA_SOURCE 0 dev r r852_get_dev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 value 0-255
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock