Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ata/ahci_brcm.c brcm_sata_init() -> brcm_sata_writereg()

Type Parameter Key Value
PARAM_VALUE 0 val 0,8-u32max
PARAM_VALUE 1 addr 4096-ptr_max
BIT_INFO 0 val 0x0,0xffffff28
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 val 0,8-u32max[c]

drivers/ata/ahci_brcm.c brcm_sata_phy_disable() -> brcm_sata_writereg()

Type Parameter Key Value
PARAM_VALUE 1 addr 4096-ptr_max
BIT_INFO 0 val 0x400f,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 val 0-u32max

drivers/ata/ahci_brcm.c brcm_sata_phy_disable() -> brcm_sata_writereg()

Type Parameter Key Value
PARAM_VALUE 1 addr 4096-ptr_max
BIT_INFO 0 val 0x4000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 val 0-u32max

drivers/ata/ahci_brcm.c brcm_sata_phy_enable() -> brcm_sata_writereg()

Type Parameter Key Value
PARAM_VALUE 0 val 0-4294950911
PARAM_VALUE 1 addr 4096-ptr_max
BIT_INFO 0 val 0x0,0xffffbfff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 val 0-4294950911[c]

drivers/ata/ahci_brcm.c brcm_sata_phy_enable() -> brcm_sata_writereg()

Type Parameter Key Value
PARAM_VALUE 1 addr 4096-ptr_max
BIT_INFO 0 val 0x8,0xfffffff8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 val 0-u32max[c]

drivers/ata/ahci_brcm.c brcm_sata_phy_enable() -> brcm_sata_writereg()

Type Parameter Key Value
PARAM_VALUE 1 addr 4096-ptr_max
BIT_INFO 0 val 0x4000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 val 0-u32max

drivers/ata/ahci_brcm.c brcm_sata_phy_enable() -> brcm_sata_writereg()

Type Parameter Key Value
PARAM_VALUE 0 val 0-4294950911
PARAM_VALUE 1 addr 4096-ptr_max
BIT_INFO 0 val 0x0,0xffffbfff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 val 0-4294950911[c]