Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 0 ctrl->creg 4096-ptr_max
PARAM_VALUE 1 reg 32
PARAM_VALUE 2 val 15-262143
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
BIT_INFO 2 val 0xf,0x3ffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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]
HOST_DATA 2 val 15-262143[c]
HALF_LOCKED2 &pdev->dev.mutex

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

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
PARAM_VALUE 2 val 2130706432-u32max
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
BIT_INFO 2 val 0x7f000000,0xff1f7fff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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]
HOST_DATA 2 val 2130706432-u32max[c]
HALF_LOCKED2 &pdev->dev.mutex

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

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
BIT_INFO 2 val 0x0,0xe01f7fff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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]
HOST_DATA 2 val 0-u32max[c]
HALF_LOCKED2 &pdev->dev.mutex

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

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 0 ctrl->creg 4096-ptr_max
PARAM_VALUE 1 reg 32
PARAM_VALUE 2 val 0,2-262138
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
BIT_INFO 2 val 0x0,0x3fffa
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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]
HOST_DATA 2 val 0,2-262138[c]
HALF_LOCKED2 &pdev->dev.mutex

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

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 1 reg 32
PARAM_VALUE 2 val 1-262143
DATA_SOURCE 0 ctrl $1
BIT_INFO 2 val 0x1,0x3ffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 1-262143[c]
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

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

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 1 reg 32
PARAM_VALUE 2 val 0-262143
DATA_SOURCE 0 ctrl $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 0-262143[c]
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

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

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
CAPPED_DATA 1 reg 1
DATA_SOURCE 0 ctrl $1
BIT_INFO 2 val 0x0,0xff1f7fff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 0-u32max[c]
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

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

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 1 reg 32
PARAM_VALUE 2 val 0,2-262142
DATA_SOURCE 0 ctrl $1
BIT_INFO 2 val 0x0,0x3fffe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 0,2-262142[c]
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

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

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 2 val 2130706432-u32max
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
BIT_INFO 2 val 0x7f000000,0xff1f7fff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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]
HOST_DATA 2 val 2130706432-u32max[c]
UNITS 0 ctrl unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 ctrl 4096-ptr_max
PARAM_VALUE 1 reg 32
PARAM_VALUE 2 val 15-262143
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
BIT_INFO 2 val 0xf,0x3ffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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]
HOST_DATA 2 val 15-262143[c]
UNITS 0 ctrl unit_byte