Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/iommu/intel/dmar.c dmar_dev_scope_init() -> dmar_pci_bus_add_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 4096-ptr_max |
| PARAM_VALUE | 0 | info->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | info->dev->bus | 4096-ptr_max |
| PARAM_VALUE | 0 | info->event | 0 |
| BUF_SIZE | 0 | info | 64-s32max |
| BUF_SIZE | 0 | info | 64-s32max |
| DATA_SOURCE | 0 | info | r dmar_alloc_pci_notify_info |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | info->level | |
| LOCK2 | global &dmar_global_lock |
drivers/iommu/intel/dmar.c dmar_pci_bus_notifier() -> dmar_pci_bus_add_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 4096-ptr_max |
| PARAM_VALUE | 0 | info->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | info->dev->bus | 4096-ptr_max |
| PARAM_VALUE | 0 | info->event | 0 |
| BUF_SIZE | 0 | info | 64-s32max |
| BUF_SIZE | 0 | info | 64-s32max |
| DATA_SOURCE | 0 | info | r dmar_alloc_pci_notify_info |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | info->level | |
| LOCK2 | global &dmar_global_lock |