Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/hotplug/shpchp_hpc.c shpc_get_max_bus_speed() -> shpc_readl()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 1 reg 4
BUF_SIZE 0 ctrl 552
BUF_SIZE 0 ctrl->pci_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
CAPPED_DATA 0 ctrl->num_slots 1
DATA_SOURCE 0 ctrl $0
BIT_INFO 0 ctrl->slot_num_inc 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl->first_slot 0-2047[c]
HOST_DATA 0 ctrl->mmio_base 0-u64max[c]
HOST_DATA 0 ctrl->mmio_size 36[c]
HOST_DATA 0 ctrl->num_slots 0-31[c]
HOST_DATA 0 ctrl->pci_dev->current_state 0-3[c]
HOST_DATA 0 ctrl->slot_device_offset 0-31[c]
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock

drivers/pci/hotplug/shpchp_hpc.c shpc_get_max_bus_speed() -> shpc_readl()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 1 reg 8
BUF_SIZE 0 ctrl 552
BUF_SIZE 0 ctrl->pci_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
CAPPED_DATA 0 ctrl->num_slots 1
DATA_SOURCE 0 ctrl $0
BIT_INFO 0 ctrl->slot_num_inc 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl->first_slot 0-2047[c]
HOST_DATA 0 ctrl->mmio_base 0-u64max[c]
HOST_DATA 0 ctrl->mmio_size 36[c]
HOST_DATA 0 ctrl->num_slots 0-31[c]
HOST_DATA 0 ctrl->pci_dev->current_state 0-3[c]
HOST_DATA 0 ctrl->slot_device_offset 0-31[c]
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock

drivers/pci/hotplug/shpchp_hpc.c shpc_init() -> shpc_readl()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 0 ctrl->creg 4096-ptr_max
PARAM_VALUE 1 reg 12
BUF_SIZE 0 ctrl 552
BUF_SIZE 0 ctrl->pci_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE 0 ctrl $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl->mmio_base 0-u64max[c]
HOST_DATA 0 ctrl->mmio_size 36[c]
HOST_DATA 0 ctrl->pci_dev->current_state 0-3[c]
HALF_LOCKED2 &pdev->dev.mutex

drivers/pci/hotplug/shpchp_hpc.c shpc_init() -> shpc_readl()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 0 ctrl->creg 4096-ptr_max
PARAM_VALUE 1 reg 32
BUF_SIZE 0 ctrl 552
BUF_SIZE 0 ctrl->pci_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE 0 ctrl $0
BIT_INFO 0 ctrl->slot_num_inc 0x1,0xffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl->first_slot 0-2047[c]
HOST_DATA 0 ctrl->mmio_base 0-u64max[c]
HOST_DATA 0 ctrl->mmio_size 36[c]
HOST_DATA 0 ctrl->num_slots 0-31
HOST_DATA 0 ctrl->pci_dev->current_state 0-3[c]
HOST_DATA 0 ctrl->slot_device_offset 0-31[c]
HALF_LOCKED2 &pdev->dev.mutex

drivers/pci/hotplug/shpchp_hpc.c shpc_init() -> shpc_readl()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 0 ctrl->creg 4096-ptr_max
PARAM_VALUE 1 reg 32
BUF_SIZE 0 ctrl 552
BUF_SIZE 0 ctrl->pci_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE 0 ctrl $0
BIT_INFO 0 ctrl->slot_num_inc 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl->first_slot 0-2047[c]
HOST_DATA 0 ctrl->mmio_base 0-u64max[c]
HOST_DATA 0 ctrl->mmio_size 36[c]
HOST_DATA 0 ctrl->num_slots 0-31
HOST_DATA 0 ctrl->pci_dev->current_state 0-3[c]
HOST_DATA 0 ctrl->slot_device_offset 0-31[c]
HALF_LOCKED2 &pdev->dev.mutex

drivers/pci/hotplug/shpchp_hpc.c shpc_init() -> shpc_readl()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 0 ctrl->creg 4096-ptr_max
PARAM_VALUE 1 reg 36-156
BUF_SIZE 0 ctrl 552
BUF_SIZE 0 ctrl->pci_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
CAPPED_DATA 1 reg 1
DATA_SOURCE 0 ctrl $0
BIT_INFO 0 ctrl->slot_num_inc 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl->first_slot 0-2047[c]
HOST_DATA 0 ctrl->mmio_base 0-u64max[c]
HOST_DATA 0 ctrl->mmio_size 36[c]
HOST_DATA 0 ctrl->num_slots 1-31
HOST_DATA 0 ctrl->pci_dev->current_state 0-3[c]
HOST_DATA 0 ctrl->slot_device_offset 0-31[c]
HALF_LOCKED2 &pdev->dev.mutex

drivers/pci/hotplug/shpchp_hpc.c shpc_init() -> shpc_readl()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 0 ctrl->creg 4096-ptr_max
PARAM_VALUE 1 reg 36-156
BUF_SIZE 0 ctrl 552
BUF_SIZE 0 ctrl->pci_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
CAPPED_DATA 0 ctrl->num_slots 1
CAPPED_DATA 1 reg 1
DATA_SOURCE 0 ctrl $0
BIT_INFO 0 ctrl->slot_num_inc 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl->first_slot 0-2047[c]
HOST_DATA 0 ctrl->mmio_base 0-u64max[c]
HOST_DATA 0 ctrl->mmio_size 36[c]
HOST_DATA 0 ctrl->num_slots 1-31[c]
HOST_DATA 0 ctrl->pci_dev->current_state 0-3[c]
HOST_DATA 0 ctrl->slot_device_offset 0-31[c]
HALF_LOCKED2 &pdev->dev.mutex

drivers/pci/hotplug/shpchp_hpc.c shpc_init() -> shpc_readl()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 0 ctrl->creg 4096-ptr_max
PARAM_VALUE 1 reg 32
BUF_SIZE 0 ctrl 552
BUF_SIZE 0 ctrl->pci_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
CAPPED_DATA 0 ctrl->num_slots 1
DATA_SOURCE 0 ctrl $0
BIT_INFO 0 ctrl->slot_num_inc 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl->first_slot 0-2047[c]
HOST_DATA 0 ctrl->mmio_base 0-u64max[c]
HOST_DATA 0 ctrl->mmio_size 36[c]
HOST_DATA 0 ctrl->num_slots 0-31[c]
HOST_DATA 0 ctrl->pci_dev->current_state 0-3[c]
HOST_DATA 0 ctrl->slot_device_offset 0-31[c]
HALF_LOCKED2 &pdev->dev.mutex

drivers/pci/hotplug/shpchp_hpc.c shpc_init() -> shpc_readl()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 0 ctrl->creg 4096-ptr_max
PARAM_VALUE 1 reg 32
BUF_SIZE 0 ctrl 552
BUF_SIZE 0 ctrl->pci_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
CAPPED_DATA 0 ctrl->num_slots 1
DATA_SOURCE 0 ctrl $0
BIT_INFO 0 ctrl->slot_num_inc 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl->first_slot 0-2047[c]
HOST_DATA 0 ctrl->mmio_base 0-u64max[c]
HOST_DATA 0 ctrl->mmio_size 36[c]
HOST_DATA 0 ctrl->num_slots 0-31[c]
HOST_DATA 0 ctrl->pci_dev->current_state 0-3[c]
HOST_DATA 0 ctrl->slot_device_offset 0-31[c]
HALF_LOCKED2 &pdev->dev.mutex

drivers/pci/hotplug/shpchp_hpc.c shpc_isr() -> shpc_readl()

Type Parameter Key Value
PARAM_VALUE 1 reg 24
DATA_SOURCE 0 ctrl $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/pci/hotplug/shpchp_hpc.c shpc_isr() -> shpc_readl()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 1 reg 32
DATA_SOURCE 0 ctrl $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/pci/hotplug/shpchp_hpc.c shpc_isr() -> shpc_readl()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 1 reg 24
DATA_SOURCE 0 ctrl $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/pci/hotplug/shpchp_hpc.c shpc_isr() -> shpc_readl()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 1 reg 32
DATA_SOURCE 0 ctrl $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/pci/hotplug/shpchp_hpc.c shpc_isr() -> shpc_readl()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
CAPPED_DATA 1 reg 1
DATA_SOURCE 0 ctrl $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/pci/hotplug/shpchp_hpc.c shpc_isr() -> shpc_readl()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 1 reg 32
DATA_SOURCE 0 ctrl $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/pci/hotplug/shpchp_hpc.c shpchp_get_adapter_speed() -> shpc_readl()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl->pcix_misc2_reg 0
LOCK2 &slot->ctrl->crit_sect
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct controller)->crit_sect

drivers/pci/hotplug/shpchp_hpc.c shpchp_get_adapter_status() -> shpc_readl()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl->pcix_misc2_reg 0
HALF_LOCKED2 &slot->ctrl->crit_sect

drivers/pci/hotplug/shpchp_hpc.c shpchp_get_attention_status() -> shpc_readl()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl->pcix_misc2_reg 0
HALF_LOCKED2 &pool->lock

drivers/pci/hotplug/shpchp_hpc.c shpchp_get_latch_status() -> shpc_readl()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl->pcix_misc2_reg 0
HALF_LOCKED2 &slot->ctrl->crit_sect

drivers/pci/hotplug/shpchp_hpc.c shpchp_get_power_status() -> shpc_readl()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl->pcix_misc2_reg 0
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &slot->ctrl->crit_sect
HALF_LOCKED2 &slot->lock

drivers/pci/hotplug/shpchp_hpc.c shpchp_query_power_fault() -> shpc_readl()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags

drivers/pci/hotplug/shpchp_hpc.c shpchp_release_ctlr() -> shpc_readl()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
BUF_SIZE 0 ctrl s32min-(-2),1-s32max
BUF_SIZE 0 ctrl s32min-(-2),1-s32max
CAPPED_DATA 1 reg 1
DATA_SOURCE 0 ctrl $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl->first_slot 0-2047[c]
HOST_DATA 0 ctrl->mmio_base 0-u64max[c]
HOST_DATA 0 ctrl->mmio_size 36[c]
HOST_DATA 0 ctrl->pci_dev->current_state 0-3[c]
HOST_DATA 0 ctrl->slot_device_offset 0-31[c]
UNITS 0 ctrl unit_byte

drivers/pci/hotplug/shpchp_hpc.c shpchp_release_ctlr() -> shpc_readl()

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 1 reg 32
BUF_SIZE 0 ctrl s32min-(-2),1-s32max
BUF_SIZE 0 ctrl s32min-(-2),1-s32max
CAPPED_DATA 0 ctrl->num_slots 1
DATA_SOURCE 0 ctrl $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 ctrl->first_slot 0-2047[c]
HOST_DATA 0 ctrl->mmio_base 0-u64max[c]
HOST_DATA 0 ctrl->mmio_size 36[c]
HOST_DATA 0 ctrl->pci_dev->current_state 0-3[c]
HOST_DATA 0 ctrl->slot_device_offset 0-31[c]
UNITS 0 ctrl unit_byte