Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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 0
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
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