Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/pci/pcie/aspm.c pcie_aspm_init_link_state() -> pcie_aspm_update_sysfs_visibility()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->ari_enabled 0
PARAM_VALUE 0 pdev->bus 4096-ptr_max
PARAM_VALUE 0 pdev->link_state 4096-ptr_max
PARAM_VALUE 0 pdev->link_state->downstream 0,4096-ptr_max
PARAM_VALUE 0 pdev->link_state->parent 4096-ptr_max
PARAM_VALUE 0 pdev->link_state->pdev 4096-ptr_max
PARAM_VALUE 0 pdev->link_state->sibling.next 4096-ptr_max
PARAM_VALUE 0 pdev->link_state->sibling.prev 4096-ptr_max
PARAM_VALUE 0 pdev->subordinate 4096-ptr_max
CAPPED_DATA 0 &pdev->subordinate->devices 1
DATA_SOURCE 0 pdev $0
PARAM_COMPARE 0 &pdev->subordinate->devices != $0->subordinate->devices.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &aspm_lock
LOCK2 global &pci_bus_sem
HALF_LOCKED2 &ctrl->reset_lock
HALF_LOCKED2 &p_slot->ctrl->crit_sect
HALF_LOCKED2 &s->skt_mutex
HALF_LOCKED2 global &list_rwsem
HALF_LOCKED2 global &pci_rescan_remove_lock