Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 24
PARAM_VALUE 2 value 0,8-248
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,0xf8
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,8-248
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_dword()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 20
PARAM_VALUE 2 value 7
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_dma_done() -> r852_write_reg_dword()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 20
BUF_SIZE 0 dev (-1),384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
BUF_SIZE 0 dev (-1),384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 *dev->bounce_buffer 0-255
HOST_DATA 2 value 0-u32max
USER_DATA 0 *dev->bounce_buffer 0-255
USER_PTR 0 dev->bounce_buffer
HALF_LOCKED2 0 &dev->irqlock

drivers/mtd/nand/raw/r852.c r852_dma_done() -> r852_write_reg_dword()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 16
PARAM_VALUE 2 value 0
BUF_SIZE 0 dev (-1),384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
BUF_SIZE 0 dev (-1),384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 *dev->bounce_buffer 0-255
USER_DATA 0 *dev->bounce_buffer 0-255
USER_PTR 0 dev->bounce_buffer
HALF_LOCKED2 0 &dev->irqlock

drivers/mtd/nand/raw/r852.c r852_dma_done() -> r852_write_reg_dword()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 24
PARAM_VALUE 2 value 0
BUF_SIZE 0 dev (-1),384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
BUF_SIZE 0 dev (-1),384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 *dev->bounce_buffer 0-255
USER_DATA 0 *dev->bounce_buffer 0-255
USER_PTR 0 dev->bounce_buffer
HALF_LOCKED2 0 &dev->irqlock

drivers/mtd/nand/raw/r852.c r852_dma_done() -> r852_write_reg_dword()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 12
BUF_SIZE 0 dev (-1),384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
BUF_SIZE 0 dev (-1),384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 *dev->bounce_buffer 0-255
USER_DATA 0 *dev->bounce_buffer 0-255
USER_PTR 0 dev->bounce_buffer
HALF_LOCKED2 0 &dev->irqlock

drivers/mtd/nand/raw/r852.c r852_dma_enable() -> r852_write_reg_dword()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 12
BUF_SIZE 0 dev (-1),384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
BUF_SIZE 0 dev (-1),384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 *dev->bounce_buffer 0-255
USER_DATA 0 *dev->bounce_buffer 0-255
USER_PTR 0 dev->bounce_buffer
LOCK2 0 &dev->irqlock
HALF_LOCKED2 flags
TYPE_LOCK (struct r852_device)->irqlock

drivers/mtd/nand/raw/r852.c r852_dma_enable() -> r852_write_reg_dword()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 12
BUF_SIZE 0 dev (-1),384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
BUF_SIZE 0 dev (-1),384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 *dev->bounce_buffer 0-255
USER_DATA 0 *dev->bounce_buffer 0-255
USER_PTR 0 dev->bounce_buffer
LOCK2 0 &dev->irqlock
HALF_LOCKED2 flags
TYPE_LOCK (struct r852_device)->irqlock

drivers/mtd/nand/raw/r852.c r852_dma_enable() -> r852_write_reg_dword()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 16
PARAM_VALUE 2 value 1,3-4,6,9-254
BUF_SIZE 0 dev (-1),384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
BUF_SIZE 0 dev (-1),384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
DATA_SOURCE 0 dev $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 *dev->bounce_buffer 0-255
HOST_DATA 2 value 1,3-4,6,9-254[c]
USER_DATA 0 *dev->bounce_buffer 0-255
USER_PTR 0 dev->bounce_buffer
LOCK2 0 &dev->irqlock
HALF_LOCKED2 flags
TYPE_LOCK (struct r852_device)->irqlock

drivers/mtd/nand/raw/r852.c r852_dma_enable() -> r852_write_reg_dword()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 24
PARAM_VALUE 2 value 7-262
BUF_SIZE 0 dev (-1),384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
BUF_SIZE 0 dev (-1),384,648,3728,3736,3776,3888,3912,3968,3984,4008,4056,4216,5768
DATA_SOURCE 0 dev $0
BIT_INFO 2 value 0x7,0xff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 *dev->bounce_buffer 0-255
HOST_DATA 2 value 7-262[c]
USER_DATA 0 *dev->bounce_buffer 0-255
USER_PTR 0 dev->bounce_buffer
LOCK2 0 &dev->irqlock
HALF_LOCKED2 flags
TYPE_LOCK (struct r852_device)->irqlock

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

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 8
PARAM_VALUE 2 value 0
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_dword()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 8
PARAM_VALUE 2 value 1
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_dword()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 8
PARAM_VALUE 2 value 1
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_dword()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 address 20
DATA_SOURCE 0 dev $1
DATA_SOURCE 2 value r r852_read_reg_dword
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_write_buf() -> r852_write_reg_dword()

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
BIT_INFO 2 value 0x0,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 value 0-u32max
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock