Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/pci/hotplug/shpchp_core.c get_adapter_status() -> shpchp_get_adapter_status()

Type Parameter Key Value
PARAM_VALUE 0 slot 4096-ptr_max
PARAM_VALUE 1 status 4096-ptr_max
DATA_SOURCE 0 slot r get_slot
DATA_SOURCE 1 status $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock

drivers/pci/hotplug/shpchp_ctrl.c shpchp_disable_slot() -> shpchp_get_adapter_status()

Type Parameter Key Value
PARAM_VALUE 0 slot 4096-ptr_max
PARAM_VALUE 0 slot->ctrl 1-u64max
PARAM_VALUE 1 status 5550754950258520064
PARAM_VALUE 1 *status 0
CAPPED_DATA 0 &slot->ctrl->crit_sect 1
DATA_SOURCE 0 slot $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &slot->ctrl->crit_sect
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct controller)->crit_sect

drivers/pci/hotplug/shpchp_ctrl.c shpchp_enable_slot() -> shpchp_get_adapter_status()

Type Parameter Key Value
PARAM_VALUE 0 slot 4096-ptr_max
PARAM_VALUE 1 status 6711312557494784000
PARAM_VALUE 1 *status 0
CAPPED_DATA 0 &slot->ctrl->crit_sect 1
DATA_SOURCE 0 slot $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &slot->ctrl->crit_sect
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct controller)->crit_sect

drivers/pci/hotplug/shpchp_ctrl.c shpchp_enable_slot() -> shpchp_get_adapter_status()

Type Parameter Key Value
PARAM_VALUE 0 slot 4096-ptr_max
PARAM_VALUE 0 slot->ctrl 4096-ptr_max
PARAM_VALUE 1 status 4096-ptr_max
CAPPED_DATA 0 &slot->ctrl->crit_sect 1
DATA_SOURCE 0 slot $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &slot->ctrl->crit_sect
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct controller)->crit_sect

drivers/pci/hotplug/shpchp_ctrl.c shpchp_enable_slot() -> shpchp_get_adapter_status()

Type Parameter Key Value
PARAM_VALUE 0 slot 4096-ptr_max
PARAM_VALUE 0 slot->ctrl 4096-ptr_max
PARAM_VALUE 1 status 4096-ptr_max
PARAM_VALUE 1 *status 0-1
CAPPED_DATA 0 slot->ctrl->pci_dev 1
CAPPED_DATA 0 &slot->ctrl->crit_sect 1
DATA_SOURCE 0 slot $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 slot->ctrl->pcix_misc2_reg 0
LOCK2 0 &slot->ctrl->crit_sect
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct controller)->crit_sect

drivers/pci/hotplug/shpchp_ctrl.c shpchp_handle_attention_button() -> shpchp_get_adapter_status()

Type Parameter Key Value
PARAM_VALUE 0 slot 0,4096-ptr_max
PARAM_VALUE 1 status 11,4096-ptr_max
DATA_SOURCE 0 slot r shpchp_find_slot
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/pci/hotplug/shpchp_ctrl.c shpchp_handle_presence_change() -> shpchp_get_adapter_status()

Type Parameter Key Value
PARAM_VALUE 0 slot 0,4096-ptr_max
PARAM_VALUE 1 status 11,4096-ptr_max
DATA_SOURCE 0 slot r shpchp_find_slot
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/pci/hotplug/shpchp_ctrl.c shpchp_handle_switch_change() -> shpchp_get_adapter_status()

Type Parameter Key Value
PARAM_VALUE 0 slot 0,4096-ptr_max
PARAM_VALUE 1 status 11,4096-ptr_max
DATA_SOURCE 0 slot r shpchp_find_slot
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/pci/hotplug/shpchp_ctrl.c update_slot_info() -> shpchp_get_adapter_status()

Type Parameter Key Value
PARAM_VALUE 0 slot 4096-ptr_max
PARAM_VALUE 0 slot->ctrl 4096-ptr_max
PARAM_VALUE 1 status 4096-ptr_max
DATA_SOURCE 0 slot $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 slot->ctrl->pci_dev->current_state 0-3[c]
HOST_DATA 0 slot->ctrl->pcix_misc2_reg 0
HOST_DATA 0 slot->latch_save 0-1
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &slot->ctrl->crit_sect
HALF_LOCKED2 0 &slot->lock