Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/controller/pci-ixp4xx.c ixp4xx_crp_write_config() -> ixp4xx_writel()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->base 4096-ptr_max
PARAM_VALUE 1 reg 16
PARAM_VALUE 2 val 0,65536-u32max
BUF_SIZE 0 p 0-1080
BUF_SIZE 0 p 0-1080
BUF_SIZE 0 p->dev 1616
DATA_SOURCE 0 p $0
BIT_INFO 2 val 0x10000,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 p->host_mode 0-1

drivers/pci/controller/pci-ixp4xx.c ixp4xx_crp_write_config() -> ixp4xx_writel()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->base 4096-ptr_max
PARAM_VALUE 1 reg 20
BUF_SIZE 0 p 0-1080
BUF_SIZE 0 p 0-1080
BUF_SIZE 0 p->dev 1616
DATA_SOURCE 0 p $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 p->host_mode 0-1

drivers/pci/controller/pci-ixp4xx.c ixp4xx_pci_check_master_abort() -> ixp4xx_writel()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 reg 32
PARAM_VALUE 2 val 2
DATA_SOURCE 0 p $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 p unit_byte
HALF_LOCKED2 flags
HALF_LOCKED2 global &inject_lock
HALF_LOCKED2 global &pci_lock
HALF_LOCKED2 irq

drivers/pci/controller/pci-ixp4xx.c ixp4xx_pci_parse_map_dma_ranges() -> ixp4xx_writel()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->base 4096-ptr_max
PARAM_VALUE 1 reg 44
PARAM_VALUE 2 val 0-s32max
BUF_SIZE 0 p 0-1080
BUF_SIZE 0 p 0-1080
BUF_SIZE 0 p->dev 1616
DATA_SOURCE 0 p $0
DATA_SOURCE 2 val r ixp4xx_pci_addr_to_64mconf
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 p->host_mode 0-1

drivers/pci/controller/pci-ixp4xx.c ixp4xx_pci_parse_map_ranges() -> ixp4xx_writel()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->base 4096-ptr_max
PARAM_VALUE 1 reg 52
PARAM_VALUE 2 val 0-s32max
BUF_SIZE 0 p 0-1080
BUF_SIZE 0 p 0-1080
BUF_SIZE 0 p->dev 1616
DATA_SOURCE 0 p $0
DATA_SOURCE 2 val r ixp4xx_pci_addr_to_64mconf
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 p->host_mode 0-1

drivers/pci/controller/pci-ixp4xx.c ixp4xx_pci_parse_map_ranges() -> ixp4xx_writel()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->base 4096-ptr_max
PARAM_VALUE 1 reg 48
PARAM_VALUE 2 val u32max
BUF_SIZE 0 p 0-1080
BUF_SIZE 0 p 0-1080
BUF_SIZE 0 p->dev 1616
DATA_SOURCE 0 p $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 p->host_mode 0-1

drivers/pci/controller/pci-ixp4xx.c ixp4xx_pci_probe() -> ixp4xx_writel()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->base 4096-ptr_max
PARAM_VALUE 1 reg 32
PARAM_VALUE 2 val 15
BUF_SIZE 0 p 0-1080
BUF_SIZE 0 p 0-1080
BUF_SIZE 0 p->dev 1616
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 p->host_mode 0-1

drivers/pci/controller/pci-ixp4xx.c ixp4xx_pci_probe() -> ixp4xx_writel()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->base 4096-ptr_max
PARAM_VALUE 1 reg 28
PARAM_VALUE 2 val 32784
BUF_SIZE 0 p 0-1080
BUF_SIZE 0 p 0-1080
BUF_SIZE 0 p->dev 1616
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 p->host_mode 0-1

drivers/pci/controller/pci-ixp4xx.c ixp4xx_pci_read_indirect() -> ixp4xx_writel()

Type Parameter Key Value
PARAM_VALUE 1 reg 0
DATA_SOURCE 0 p $0
DATA_SOURCE 2 val $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 0-u32max[c]
USER_DATA 2 val 0-u32max[c]
UNITS 0 p unit_byte
HALF_LOCKED2 flags
HALF_LOCKED2 global &inject_lock
HALF_LOCKED2 global &pci_lock
HALF_LOCKED2 irq

drivers/pci/controller/pci-ixp4xx.c ixp4xx_pci_read_indirect() -> ixp4xx_writel()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 reg 4
PARAM_VALUE 2 val 10,26-250
DATA_SOURCE 0 p $0
DATA_SOURCE 2 val $2
BIT_INFO 2 val 0xa,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 10,26-250[c]
USER_DATA 2 val 10,26-250[c]
UNITS 0 p unit_byte
HALF_LOCKED2 flags
HALF_LOCKED2 global &inject_lock
HALF_LOCKED2 global &pci_lock
HALF_LOCKED2 irq

drivers/pci/controller/pci-ixp4xx.c ixp4xx_pci_read_indirect() -> ixp4xx_writel()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 reg 4
PARAM_VALUE 2 val 10,26-250
DATA_SOURCE 0 p $0
DATA_SOURCE 2 val $2
BIT_INFO 2 val 0xa,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 10,26-250[c]
USER_DATA 2 val 10,26-250[c]
UNITS 0 p unit_byte
HALF_LOCKED2 flags
HALF_LOCKED2 global &inject_lock
HALF_LOCKED2 global &pci_lock
HALF_LOCKED2 irq

drivers/pci/controller/pci-ixp4xx.c ixp4xx_pci_write_indirect() -> ixp4xx_writel()

Type Parameter Key Value
PARAM_VALUE 1 reg 0
DATA_SOURCE 0 p $0
DATA_SOURCE 2 val $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 0-u32max[c]
USER_DATA 2 val 0-u32max[c]
UNITS 0 p unit_byte
HALF_LOCKED2 flags
HALF_LOCKED2 global &inject_lock
HALF_LOCKED2 global &pci_lock
HALF_LOCKED2 irq

drivers/pci/controller/pci-ixp4xx.c ixp4xx_pci_write_indirect() -> ixp4xx_writel()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 reg 4
PARAM_VALUE 2 val 11,27-251
DATA_SOURCE 0 p $0
DATA_SOURCE 2 val $2
BIT_INFO 2 val 0xb,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 val 11,27-251[c]
UNITS 0 p unit_byte
HALF_LOCKED2 flags
HALF_LOCKED2 global &inject_lock
HALF_LOCKED2 global &pci_lock
HALF_LOCKED2 irq

drivers/pci/controller/pci-ixp4xx.c ixp4xx_pci_write_indirect() -> ixp4xx_writel()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 reg 8
DATA_SOURCE 0 p $0
DATA_SOURCE 2 val $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 p unit_byte
HALF_LOCKED2 flags
HALF_LOCKED2 global &inject_lock
HALF_LOCKED2 global &pci_lock
HALF_LOCKED2 irq