Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 pci_seg 4096-ptr_max
PARAM_VALUE 0 pci_seg->dev_data_list.first 0
PARAM_VALUE 0 pci_seg->list.next 4564669590474960896
PARAM_VALUE 0 pci_seg->list.prev 4096-ptr_max
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
HALF_LOCKED2 flags
HALF_LOCKED2 irq