Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/amd/init.c alloc_pci_segment() -> free_dev_table()

Type Parameter Key Value
PARAM_VALUE 0 pci_seg 4096-ptr_max
PARAM_VALUE 0 pci_seg->alias_table 0
PARAM_VALUE 0 pci_seg->dev_data_list.first 0
PARAM_VALUE 0 pci_seg->dev_table 18379471554275704832,18446612682070032384
PARAM_VALUE 0 pci_seg->list.next 4564669590474960896
PARAM_VALUE 0 pci_seg->list.prev 4096-ptr_max
PARAM_VALUE 0 pci_seg->rlookup_table 0
PARAM_VALUE 0 pci_seg->unity_map.next 4096-ptr_max
PARAM_VALUE 0 pci_seg->unity_map.next->next 4096-ptr_max
PARAM_VALUE 0 pci_seg->unity_map.prev 4096-ptr_max
PARAM_VALUE 0 pci_seg->unity_map.prev->next 4096-ptr_max
PARAM_VALUE 0 pci_seg->unity_map.prev->prev 4096-ptr_max
BUF_SIZE 0 pci_seg 88
CAPPED_DATA 0 pci_seg->last_bdf 1
DATA_SOURCE 0 pci_seg r _kzalloc_noprof
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/iommu/amd/init.c free_pci_segments() -> free_dev_table()

Type Parameter Key Value
PARAM_VALUE 0 pci_seg 4096-ptr_max
PARAM_VALUE 0 pci_seg->alias_table 0
PARAM_VALUE 0 pci_seg->irq_lookup_table 0
PARAM_VALUE 0 pci_seg->rlookup_table 0
CAPPED_DATA 0 &pci_seg->list 1
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 irq