Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_attach() -> brcmf_pcie_write_reg32()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
PARAM_VALUE 1 reg_offset 288
PARAM_VALUE 2 value 1248
DATA_SOURCE 0 devinfo $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_attach() -> brcmf_pcie_write_reg32()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
PARAM_VALUE 1 reg_offset 292
DATA_SOURCE 0 devinfo $0
DATA_SOURCE 2 value r brcmf_pcie_read_reg32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 value 0-u32max
HALF_LOCKED2 &pool->lock

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_buscore_reset() -> brcmf_pcie_write_reg32()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->ci 4096-ptr_max
PARAM_VALUE 0 devinfo->ci->chip 0-65534
PARAM_VALUE 0 devinfo->ci->chiprev 0-15
PARAM_VALUE 0 devinfo->ci->enum_base 402653184
PARAM_VALUE 0 devinfo->pdev->error_state 0-2,4-u32max
PARAM_VALUE 1 reg_offset 72,3120
PARAM_VALUE 2 value 0-4294967294
BUF_SIZE 0 devinfo (-1),2056
BUF_SIZE 0 devinfo (-1),2056
DATA_SOURCE 0 devinfo $0
DATA_SOURCE 2 value r brcmf_pcie_read_reg32
FUZZY_MAX 1 reg_offset 3120
BIT_INFO 1 reg_offset 0x0,0xc78
HARD_MAX 1 reg_offset 3120
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 devinfo->ci->chip 0-65534
HOST_DATA 0 devinfo->ci->chiprev 0-15[c]
HOST_DATA 2 value 0-4294967294

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_buscore_write32() -> brcmf_pcie_write_reg32()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->error_state 0-2,4-u32max
PARAM_VALUE 1 reg_offset 0-4095
BUF_SIZE 0 devinfo 2056
DATA_SOURCE 0 devinfo $0
DATA_SOURCE 1 reg_offset r brcmf_pcie_buscore_prep_addr
DATA_SOURCE 2 value $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 value 0-u32max

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_enter_download_state() -> brcmf_pcie_write_reg32()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->ci 4096-ptr_max
PARAM_VALUE 0 devinfo->ci->chip 43602
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
PARAM_VALUE 1 reg_offset 64
PARAM_VALUE 2 value 5
DATA_SOURCE 0 devinfo $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_enter_download_state() -> brcmf_pcie_write_reg32()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->ci 4096-ptr_max
PARAM_VALUE 0 devinfo->ci->chip 43602
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
PARAM_VALUE 1 reg_offset 76
PARAM_VALUE 2 value 0
DATA_SOURCE 0 devinfo $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_enter_download_state() -> brcmf_pcie_write_reg32()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->ci 4096-ptr_max
PARAM_VALUE 0 devinfo->ci->chip 43602
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
PARAM_VALUE 1 reg_offset 64
PARAM_VALUE 2 value 7
DATA_SOURCE 0 devinfo $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_enter_download_state() -> brcmf_pcie_write_reg32()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->ci 4096-ptr_max
PARAM_VALUE 0 devinfo->ci->chip 43602
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
PARAM_VALUE 1 reg_offset 76
PARAM_VALUE 2 value 0
DATA_SOURCE 0 devinfo $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_hostready() -> brcmf_pcie_write_reg32()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->reginfo 4096-ptr_max
PARAM_VALUE 0 devinfo->shared.flags 268435456-u32max
PARAM_VALUE 2 value 1
DATA_SOURCE 0 devinfo $0
BIT_INFO 0 devinfo->shared.flags 0x10000000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_intr_disable() -> brcmf_pcie_write_reg32()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 devinfo->reginfo 4096-ptr_max
PARAM_VALUE 2 value 0
DATA_SOURCE 0 devinfo $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 devinfo->shared.console.base_addr 0-u32max
HOST_DATA 0 devinfo->shared.console.buf_addr 0-u32max
HOST_DATA 0 devinfo->shared.console.bufsize 0-u32max
HOST_DATA 0 devinfo->shared.dtoh_mb_data_addr 0-u32max
HOST_DATA 0 devinfo->shared.flags 0-u32max
HOST_DATA 0 devinfo->shared.htod_mb_data_addr 0-u32max
HOST_DATA 0 devinfo->shared.ring_info_addr 0-u32max
HOST_DATA 0 devinfo->shared.rx_dataoffset 0-u32max

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_intr_enable() -> brcmf_pcie_write_reg32()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->reginfo 4096-ptr_max
PARAM_VALUE 2 value u16max,16711680,16712448
DATA_SOURCE 0 devinfo $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_isr_thread() -> brcmf_pcie_write_reg32()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->in_irq 1
PARAM_VALUE 0 devinfo->reginfo 4096-ptr_max
PARAM_VALUE 2 value 1-u32max
DATA_SOURCE 0 devinfo $1
DATA_SOURCE 2 value r brcmf_pcie_read_reg32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 value 1-u32max

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_read_otp() -> brcmf_pcie_write_reg32()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->ci 4096-ptr_max
PARAM_VALUE 0 devinfo->ci->chip 17237,17252
PARAM_VALUE 0 devinfo->ci->chiprev 0-15
PARAM_VALUE 0 devinfo->ci->enum_base 402653184
PARAM_VALUE 0 devinfo->ci->pmurev 0-255
PARAM_VALUE 0 devinfo->ci->rambase 1441792,1507328,1572864,1671168,2097152,3481600,7602176
PARAM_VALUE 0 devinfo->ci->srsize 0,8192-u32max
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.of_node->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 devinfo->pdev->dev.of_node->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 devinfo->pdev->dev.of_node->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 devinfo->pdev->dev.of_node->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 devinfo->pdev->is_busmaster 1
PARAM_VALUE 0 devinfo->reginfo 4636407877659611136,5266814927502147584
PARAM_VALUE 0 devinfo->settings 4096-ptr_max
PARAM_VALUE 0 devinfo->settings->bus.sdio.oob_irq_nr 1-u32max
PARAM_VALUE 0 devinfo->settings->bus.sdio.oob_irq_supported 1
PARAM_VALUE 0 devinfo->settings->country_codes->table_size 0-s32max
PARAM_VALUE 1 reg_offset 400
PARAM_VALUE 2 value 0,16-u32max
BUF_SIZE 0 devinfo 2056
BUF_SIZE 0 devinfo->reginfo 28
BUF_SIZE 0 devinfo->settings 104
DATA_SOURCE 0 devinfo $0
BIT_INFO 0 devinfo->reginfo 0x4017544401390000,0xffffffffffffffff
BIT_INFO 2 value 0x30,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 devinfo->ci->cc_caps 0-u32max
HOST_DATA 0 devinfo->ci->cc_caps_ext 0-u32max
HOST_DATA 0 devinfo->ci->pmucaps 0-u32max
HOST_DATA 0 devinfo->ci->pmurev 0-255
HOST_DATA 0 devinfo->pdev->current_state 0-3[c]
HOST_DATA 2 value 0,16-u32max
NO_OVERFLOW_SIMPLE 0 devinfo->settings->country_codes->table_size

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_read_otp() -> brcmf_pcie_write_reg32()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->ci 4096-ptr_max
PARAM_VALUE 0 devinfo->ci->chip 17237,17252
PARAM_VALUE 0 devinfo->ci->chiprev 0-15
PARAM_VALUE 0 devinfo->ci->enum_base 402653184
PARAM_VALUE 0 devinfo->ci->pmurev 0-255
PARAM_VALUE 0 devinfo->ci->rambase 1441792,1507328,1572864,1671168,2097152,3481600,7602176
PARAM_VALUE 0 devinfo->ci->srsize 0,8192-u32max
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.of_node->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 devinfo->pdev->dev.of_node->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 devinfo->pdev->dev.of_node->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 devinfo->pdev->dev.of_node->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 devinfo->pdev->error_state 0-2,4-u32max
PARAM_VALUE 0 devinfo->pdev->is_busmaster 1
PARAM_VALUE 0 devinfo->reginfo 4636407877659611136,5266814927502147584
PARAM_VALUE 0 devinfo->settings 4096-ptr_max
PARAM_VALUE 0 devinfo->settings->bus.sdio.oob_irq_nr 1-u32max
PARAM_VALUE 0 devinfo->settings->bus.sdio.oob_irq_supported 1
PARAM_VALUE 0 devinfo->settings->country_codes->table_size 0-s32max
PARAM_VALUE 1 reg_offset 400
PARAM_VALUE 2 value 32-u32max
BUF_SIZE 0 devinfo 2056
BUF_SIZE 0 devinfo->reginfo 28
BUF_SIZE 0 devinfo->settings 104
DATA_SOURCE 0 devinfo $0
DATA_SOURCE 2 value r brcmf_pcie_read_reg32
BIT_INFO 0 devinfo->reginfo 0x4017544401390000,0xffffffffffffffff
BIT_INFO 2 value 0x20,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 devinfo->ci->cc_caps 0-u32max
HOST_DATA 0 devinfo->ci->cc_caps_ext 0-u32max
HOST_DATA 0 devinfo->ci->pmucaps 0-u32max
HOST_DATA 0 devinfo->ci->pmurev 0-255
HOST_DATA 0 devinfo->pdev->current_state 0-3[c]
HOST_DATA 2 value 32-u32max
NO_OVERFLOW_SIMPLE 0 devinfo->settings->country_codes->table_size

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_release_irq() -> brcmf_pcie_write_reg32()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->irq_allocated 1
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 devinfo->reginfo 4096-ptr_max
CAPPED_DATA 0 devinfo 1
DATA_SOURCE 0 devinfo $0
DATA_SOURCE 2 value r brcmf_pcie_read_reg32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 value 0-u32max
UNITS 0 devinfo unit_byte

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_reset_device() -> brcmf_pcie_write_reg32()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->ci 1-u64max
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 devinfo->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 devinfo->pdev->error_state 0-2,4-u32max
PARAM_VALUE 1 reg_offset 128
PARAM_VALUE 2 value 4
BUF_SIZE 0 devinfo (-1),2056
BUF_SIZE 0 devinfo (-1),2056
CAPPED_DATA 0 devinfo 1
DATA_SOURCE 0 devinfo $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 devinfo->ci->chip 0-65534
HOST_DATA 0 devinfo->ci->chiprev 0-15[c]
UNITS 0 devinfo unit_byte

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_reset_device() -> brcmf_pcie_write_reg32()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->ci 1-u64max
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 devinfo->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 devinfo->pdev->error_state 0-2,4-u32max
PARAM_VALUE 1 reg_offset 288
PARAM_VALUE 2 value 0-u16max
BUF_SIZE 0 devinfo (-1),2056
BUF_SIZE 0 devinfo (-1),2056
CAPPED_DATA 0 devinfo 1
DATA_SOURCE 0 devinfo $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 devinfo->ci->chip 0-65534
HOST_DATA 0 devinfo->ci->chiprev 0-15[c]
UNITS 0 devinfo unit_byte

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_reset_device() -> brcmf_pcie_write_reg32()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->ci 1-u64max
PARAM_VALUE 0 devinfo->pdev 4096-ptr_max
PARAM_VALUE 0 devinfo->pdev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 devinfo->pdev->dev.msi.data->__iter_idx 0-s64max
PARAM_VALUE 0 devinfo->pdev->error_state 0-2,4-u32max
PARAM_VALUE 1 reg_offset 292
BUF_SIZE 0 devinfo (-1),2056
BUF_SIZE 0 devinfo (-1),2056
CAPPED_DATA 0 devinfo 1
DATA_SOURCE 0 devinfo $0
DATA_SOURCE 2 value r brcmf_pcie_read_reg32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 devinfo->ci->chip 0-65534
HOST_DATA 0 devinfo->ci->chiprev 0-15[c]
HOST_DATA 2 value 0-u32max
UNITS 0 devinfo unit_byte

drivers/net/wireless/broadcom/brcm80211/brcmfmac/pcie.c brcmf_pcie_ring_mb_ring_bell() -> brcmf_pcie_write_reg32()

Type Parameter Key Value
PARAM_VALUE 0 devinfo 4096-ptr_max
PARAM_VALUE 0 devinfo->reginfo 4096-ptr_max
PARAM_VALUE 0 devinfo->state 1
PARAM_VALUE 2 value 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &commonring->lock
HALF_LOCKED2 flags