Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/intel/dmar.c dmar_pci_bus_add_dev() -> dmar_iommu_notify_scope_dev()

Type Parameter Key Value
PARAM_VALUE 0 info 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 $0
NO_OVERFLOW_SIMPLE 0 info->level
LOCK2 global &dmar_global_lock

drivers/iommu/intel/dmar.c dmar_pci_bus_del_dev() -> dmar_iommu_notify_scope_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 2
BUF_SIZE 0 info 64-s32max
BUF_SIZE 0 info 64-s32max
DATA_SOURCE 0 info $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 info->level
LOCK2 global &dmar_global_lock