dmar_free_dev_scope identifier - Linux source code next-20260811 - Bootlin Elixir Cross Referencer

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

include/linux/dmar.h, line 111 (as a prototype)

Defined in 1 files as a function:

drivers/iommu/intel/dmar.c, line 105 (as a function)

Referenced in 2 files:

Smatch caller information:

drivers/iommu/intel/iommu.c intel_iommu_free_atsr() -> dmar_free_dev_scope()

Type	Parameter	Key	Value
PARAM_VALUE	0	devices	4096-ptr_max
PARAM_VALUE	1	cnt	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &dmar_global_lock

drivers/iommu/intel/iommu.c intel_iommu_free_dmars() -> dmar_free_dev_scope()

Type	Parameter	Key	Value
PARAM_VALUE	0	devices	4096-ptr_max
PARAM_VALUE	1	cnt	4096-ptr_max
NOCHECK_CALL
LOCK2		global &dmar_global_lock

drivers/iommu/intel/iommu.c intel_iommu_free_dmars() -> dmar_free_dev_scope()

Type	Parameter	Key	Value
PARAM_VALUE	0	devices	4096-ptr_max
PARAM_VALUE	1	cnt	4096-ptr_max
NOCHECK_CALL
LOCK2		global &dmar_global_lock

drivers/iommu/intel/dmar.c dmar_free_drhd() -> dmar_free_dev_scope()

Type	Parameter	Key	Value
PARAM_VALUE	0	devices	4096-ptr_max
PARAM_VALUE	0	*devices	1-u64max
PARAM_VALUE	1	cnt	4096-ptr_max
PARAM_VALUE	1	*cnt	s32min-(-1),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &dmar_global_lock

drivers/iommu/intel/dmar.c dmar_parse_one_drhd() -> dmar_free_dev_scope()

Type	Parameter	Key	Value
PARAM_VALUE	0	devices	4096-ptr_max
PARAM_VALUE	0	*devices	0,4096-ptr_max
PARAM_VALUE	1	cnt	4096-ptr_max
PARAM_VALUE	1	*cnt	0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	1	*cnt
HALF_LOCKED2		global &dmar_global_lock