Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/can/esd/esdacc.c acc_card_interrupt() -> acc_ov_write32()

Type Parameter Key Value
PARAM_VALUE 0 ov 4096-ptr_max
PARAM_VALUE 1 offs 116
PARAM_VALUE 2 v 1-u32max
CAPPED_DATA 0 ov->active_cores 1
DATA_SOURCE 0 ov $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/net/can/esd/esdacc.c acc_card_interrupt() -> acc_ov_write32()

Type Parameter Key Value
PARAM_VALUE 0 ov 4096-ptr_max
PARAM_VALUE 0 ov->addr 4096-ptr_max
PARAM_VALUE 1 offs 112
CAPPED_DATA 0 ov->active_cores 1
DATA_SOURCE 0 ov $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/net/can/esd/esdacc.c acc_card_interrupt() -> acc_ov_write32()

Type Parameter Key Value
PARAM_VALUE 0 ov 4096-ptr_max
PARAM_VALUE 0 ov->addr 4096-ptr_max
PARAM_VALUE 1 offs 116
PARAM_VALUE 2 v 1431655765
CAPPED_DATA 0 ov->active_cores 1
DATA_SOURCE 0 ov $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/net/can/esd/esdacc.c acc_ov_set_bits() -> acc_ov_write32()

Type Parameter Key Value
PARAM_VALUE 0 ov 4096-ptr_max
PARAM_VALUE 0 ov->addr 4096-ptr_max
PARAM_VALUE 1 offs 44
PARAM_VALUE 2 v 0,32768-u32max
DATA_SOURCE 0 ov $0
DATA_SOURCE 1 offs $1
BIT_INFO 0 ov->features 0x1000,0xffffffffffffffff
BIT_INFO 2 v 0x8000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ov->active_cores 0-255
HOST_DATA 0 ov->core_frequency 0-u32max
HOST_DATA 0 ov->features 0-u16max
HOST_DATA 0 ov->timestamp_frequency 0-u32max
HOST_DATA 0 ov->total_cores 0-255
HOST_DATA 0 ov->version 0-u16max
HOST_DATA 2 v 0,32768-u32max
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock

drivers/net/can/esd/esd_402_pci-core.c acc_ov_clear_bits() -> acc_ov_write32()

Type Parameter Key Value
PARAM_VALUE 0 ov 4096-ptr_max
PARAM_VALUE 0 ov->addr 4096-ptr_max
PARAM_VALUE 1 offs 44
DATA_SOURCE 0 ov $0
DATA_SOURCE 1 offs $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 v 0-u32max[c]
HALF_LOCKED2 &pdev->dev.mutex

drivers/net/can/esd/esd_402_pci-core.c acc_ov_set_bits() -> acc_ov_write32()

Type Parameter Key Value
PARAM_VALUE 0 ov 4096-ptr_max
PARAM_VALUE 0 ov->addr 4096-ptr_max
PARAM_VALUE 1 offs 44
DATA_SOURCE 0 ov $0
DATA_SOURCE 1 offs $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ov->active_cores 0-6
HOST_DATA 0 ov->core_frequency 0-u32max
HOST_DATA 0 ov->features 0-u16max
HOST_DATA 0 ov->total_cores 0-255
HOST_DATA 0 ov->version 61-u16max
HOST_DATA 2 v 0-u32max
NO_OVERFLOW_SIMPLE 0 ov->active_cores
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock

drivers/net/can/esd/esd_402_pci-core.c acc_reset_fpga() -> acc_ov_write32()

Type Parameter Key Value
PARAM_VALUE 0 ov 4096-ptr_max
PARAM_VALUE 1 offs 44
PARAM_VALUE 2 v 2147483648
DATA_SOURCE 0 ov $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock

drivers/net/can/esd/esd_402_pci-core.c pci402_set_msiconfig() -> acc_ov_write32()

Type Parameter Key Value
PARAM_VALUE 0 ov 4096-ptr_max
PARAM_VALUE 1 offs 132
PARAM_VALUE 2 v 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 v 0
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock

drivers/net/can/esd/esd_402_pci-core.c pci402_set_msiconfig() -> acc_ov_write32()

Type Parameter Key Value
PARAM_VALUE 0 ov 4096-ptr_max
PARAM_VALUE 0 ov->addr 4096-ptr_max
PARAM_VALUE 1 offs 128
PARAM_VALUE 2 v 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 v 0
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock