cache_tag_assign identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/iommu/intel/iommu.h, line 1231 (as a prototype)

Defined in 1 files as a function:

drivers/iommu/intel/cache.c, line 43 (as a function)

Referenced in 3 files:

Smatch caller information:

drivers/iommu/intel/iommu.c intel_iommu_probe_finalize() -> cache_tag_assign()

Type	Parameter	Key	Value
PARAM_VALUE	0	domain	1-u64max
PARAM_VALUE	2	dev	4096-ptr_max
PARAM_VALUE	2	dev->dma_ops->alloc	0,1744715142275031040,2065280936184246272,2938795245442469888
PARAM_VALUE	2	dev->dma_ops->alloc_pages_op	0,4686288359180861440,6350905364812603392,6978773206971854848
PARAM_VALUE	2	dev->dma_ops->cache_sync	0
PARAM_VALUE	2	dev->dma_ops->dma_supported	0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888
PARAM_VALUE	2	dev->dma_ops->free	0,4778164490434129920,7144974343242604544,7861694134817480704
PARAM_VALUE	2	dev->dma_ops->free_pages	0,239457316199952384,5196233516945883136,7413093576918179840
PARAM_VALUE	2	dev->dma_ops->get_merge_boundary	0
PARAM_VALUE	2	dev->dma_ops->get_required_mask	0,7770840938859397120
PARAM_VALUE	2	dev->dma_ops->get_sgtable	0,1322759480623644672
PARAM_VALUE	2	dev->dma_ops->map_phys	0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696
PARAM_VALUE	2	dev->dma_ops->map_sg	0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488
PARAM_VALUE	2	dev->dma_ops->max_mapping_size	0,8830639662091943936
PARAM_VALUE	2	dev->dma_ops->mmap	0,5761417605877342208,7694740394750603264
PARAM_VALUE	2	dev->dma_ops->opt_mapping_size	0
PARAM_VALUE	2	dev->dma_ops->sync_sg_for_cpu	0,4862850025765572608
PARAM_VALUE	2	dev->dma_ops->sync_sg_for_device	0,3732476178258022400
PARAM_VALUE	2	dev->dma_ops->sync_single_for_cpu	0,1155325867376779264
PARAM_VALUE	2	dev->dma_ops->sync_single_for_device	0,8781567156597239808
PARAM_VALUE	2	dev->dma_ops->unmap_phys	0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048
PARAM_VALUE	2	dev->dma_ops->unmap_sg	0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440
PARAM_VALUE	2	dev->iommu	4096-ptr_max
PARAM_VALUE	2	dev->iommu->iommu_dev	4096-ptr_max
PARAM_VALUE	2	dev->iommu->iommu_dev->ops->probe_finalize	4224741400359067648,6516402457225019392,8434375612550443008,8539622431235026944
PARAM_VALUE	2	dev->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	3	pasid	0
PARAM_VALUE	4	type	1
BUF_SIZE	2	dev	(-1)-0,4,16,24-s32max
BUF_SIZE	2	dev	(-1)-0,4,16,24-s32max
BUF_SIZE	2	dev->bus	(-1),168
BUF_SIZE	2	dev->dma_mask	(-1),8
BUF_SIZE	2	dev->dma_parms	(-1),16
BUF_SIZE	2	dev->groups	(-1),16
BUF_SIZE	2	dev->init_name	(-1),14
BUF_SIZE	2	dev->parent	(-1),1616
CAPPED_DATA	2	dev	1
DATA_SOURCE	1	did	r domain_id_iommu
DATA_SOURCE	2	dev	$0
STR_LEN	2	dev->parent	(-1),4-5,13
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	2	dev->flags	4096-u32max
HALF_LOCKED2	2	&dev->mutex

drivers/iommu/intel/cache.c __cache_tag_assign_domain() -> cache_tag_assign()

Type	Parameter	Key	Value
PARAM_VALUE	0	domain	4096-ptr_max
PARAM_VALUE	0	domain->cache_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	domain->qi_batch	1-u64max
PARAM_VALUE	2	dev	4096-ptr_max
PARAM_VALUE	2	dev->cma_area->available_count	0-s64max
PARAM_VALUE	2	dev->cma_area->nranges	s32min-s32max
PARAM_VALUE	2	dev->dma_ops->alloc	0,1744715142275031040,2065280936184246272,2938795245442469888
PARAM_VALUE	2	dev->dma_ops->alloc_pages_op	0,4686288359180861440,6350905364812603392,6978773206971854848
PARAM_VALUE	2	dev->dma_ops->cache_sync	0
PARAM_VALUE	2	dev->dma_ops->dma_supported	0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888
PARAM_VALUE	2	dev->dma_ops->free	0,4778164490434129920,7144974343242604544,7861694134817480704
PARAM_VALUE	2	dev->dma_ops->free_pages	0,239457316199952384,5196233516945883136,7413093576918179840
PARAM_VALUE	2	dev->dma_ops->get_merge_boundary	0
PARAM_VALUE	2	dev->dma_ops->get_required_mask	0,7770840938859397120
PARAM_VALUE	2	dev->dma_ops->get_sgtable	0,1322759480623644672
PARAM_VALUE	2	dev->dma_ops->map_phys	0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696
PARAM_VALUE	2	dev->dma_ops->map_sg	0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488
PARAM_VALUE	2	dev->dma_ops->max_mapping_size	0,8830639662091943936
PARAM_VALUE	2	dev->dma_ops->mmap	0,5761417605877342208,7694740394750603264
PARAM_VALUE	2	dev->dma_ops->opt_mapping_size	0
PARAM_VALUE	2	dev->dma_ops->sync_sg_for_cpu	0,4862850025765572608
PARAM_VALUE	2	dev->dma_ops->sync_sg_for_device	0,3732476178258022400
PARAM_VALUE	2	dev->dma_ops->sync_single_for_cpu	0,1155325867376779264
PARAM_VALUE	2	dev->dma_ops->sync_single_for_device	0,8781567156597239808
PARAM_VALUE	2	dev->dma_ops->unmap_phys	0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048
PARAM_VALUE	2	dev->dma_ops->unmap_sg	0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440
PARAM_VALUE	2	dev->iommu	0,4096-ptr_max
PARAM_VALUE	2	dev->iommu->fault_param->queue->wq->flush_color	s32min-s32max
PARAM_VALUE	2	dev->iommu->fault_param->queue->wq->work_color	s32min-s32max
PARAM_VALUE	2	dev->iommu->iommu_dev->ops->blocked_domain	0,532766077614051328,1309262597071863808,3360818763908841472,5161617956659249152,5314750282517213184,6300359532015144960
PARAM_VALUE	2	dev->iommu->iommu_dev->ops->release_domain	0,109353748397924352,532766077614051328,3360818763908841472,5161617956659249152,8123815121812471808
PARAM_VALUE	2	dev->kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	2	dev->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	2	dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	4	type	0
BUF_SIZE	2	dev	(-1)-0,24-s32max
BUF_SIZE	2	dev	(-1)-0,24-s32max
BUF_SIZE	2	dev->bus	(-1),168
BUF_SIZE	2	dev->dma_mask	(-1),8
BUF_SIZE	2	dev->dma_parms	(-1),16
BUF_SIZE	2	dev->groups	(-1),16
BUF_SIZE	2	dev->init_name	(-1),14
BUF_SIZE	2	dev->parent	(-1),1616
CAPPED_DATA	2	dev	1
DATA_SOURCE	0	domain	$0
DATA_SOURCE	1	did	$1
DATA_SOURCE	2	dev	$2
DATA_SOURCE	3	pasid	$3
STR_LEN	2	dev->parent	(-1),4-5,13
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	2	dev->class	0-16777215
HOST_DATA	2	dev->flags	0-u32max
HOST_DATA	2	dev->iommu.max_pasids	0-u32max
USER_DATA	3	pasid	1-u32max
NO_OVERFLOW_SIMPLE	2	dev->cma_area->available_count
HALF_LOCKED2		&group->mutex
HALF_LOCKED2	2	&dev->mutex

drivers/iommu/intel/cache.c __cache_tag_assign_domain() -> cache_tag_assign()

Type	Parameter	Key	Value
PARAM_VALUE	0	domain	4096-ptr_max
PARAM_VALUE	0	domain->cache_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	domain->qi_batch	1-u64max
PARAM_VALUE	2	dev	4096-ptr_max
PARAM_VALUE	2	dev->cma_area->available_count	0-s64max
PARAM_VALUE	2	dev->cma_area->nranges	s32min-s32max
PARAM_VALUE	2	dev->dma_ops->alloc	0,1744715142275031040,2065280936184246272,2938795245442469888
PARAM_VALUE	2	dev->dma_ops->alloc_pages_op	0,4686288359180861440,6350905364812603392,6978773206971854848
PARAM_VALUE	2	dev->dma_ops->cache_sync	0
PARAM_VALUE	2	dev->dma_ops->dma_supported	0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888
PARAM_VALUE	2	dev->dma_ops->free	0,4778164490434129920,7144974343242604544,7861694134817480704
PARAM_VALUE	2	dev->dma_ops->free_pages	0,239457316199952384,5196233516945883136,7413093576918179840
PARAM_VALUE	2	dev->dma_ops->get_merge_boundary	0
PARAM_VALUE	2	dev->dma_ops->get_required_mask	0,7770840938859397120
PARAM_VALUE	2	dev->dma_ops->get_sgtable	0,1322759480623644672
PARAM_VALUE	2	dev->dma_ops->map_phys	0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696
PARAM_VALUE	2	dev->dma_ops->map_sg	0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488
PARAM_VALUE	2	dev->dma_ops->max_mapping_size	0,8830639662091943936
PARAM_VALUE	2	dev->dma_ops->mmap	0,5761417605877342208,7694740394750603264
PARAM_VALUE	2	dev->dma_ops->opt_mapping_size	0
PARAM_VALUE	2	dev->dma_ops->sync_sg_for_cpu	0,4862850025765572608
PARAM_VALUE	2	dev->dma_ops->sync_sg_for_device	0,3732476178258022400
PARAM_VALUE	2	dev->dma_ops->sync_single_for_cpu	0,1155325867376779264
PARAM_VALUE	2	dev->dma_ops->sync_single_for_device	0,8781567156597239808
PARAM_VALUE	2	dev->dma_ops->unmap_phys	0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048
PARAM_VALUE	2	dev->dma_ops->unmap_sg	0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440
PARAM_VALUE	2	dev->iommu	0,4096-ptr_max
PARAM_VALUE	2	dev->iommu->fault_param->queue->wq->flush_color	s32min-s32max
PARAM_VALUE	2	dev->iommu->fault_param->queue->wq->work_color	s32min-s32max
PARAM_VALUE	2	dev->iommu->iommu_dev->ops->blocked_domain	0,532766077614051328,1309262597071863808,3360818763908841472,5161617956659249152,5314750282517213184,6300359532015144960
PARAM_VALUE	2	dev->iommu->iommu_dev->ops->release_domain	0,109353748397924352,532766077614051328,3360818763908841472,5161617956659249152,8123815121812471808
PARAM_VALUE	2	dev->kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	2	dev->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	2	dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	4	type	1
BUF_SIZE	2	dev	(-1)-0,24-s32max
BUF_SIZE	2	dev	(-1)-0,24-s32max
BUF_SIZE	2	dev->bus	(-1),168
BUF_SIZE	2	dev->dma_mask	(-1),8
BUF_SIZE	2	dev->dma_parms	(-1),16
BUF_SIZE	2	dev->groups	(-1),16
BUF_SIZE	2	dev->init_name	(-1),14
BUF_SIZE	2	dev->parent	(-1),1616
CAPPED_DATA	2	dev	1
DATA_SOURCE	0	domain	$0
DATA_SOURCE	1	did	$1
DATA_SOURCE	2	dev	$2
DATA_SOURCE	3	pasid	$3
STR_LEN	2	dev->parent	(-1),4-5,13
NOSPEC	3	pasid
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	2	dev->class	0-16777215
HOST_DATA	2	dev->flags	0-u32max
HOST_DATA	2	dev->iommu.max_pasids	0-u32max
USER_DATA	3	pasid	1-u32max
NO_OVERFLOW_SIMPLE	2	dev->cma_area->available_count
HALF_LOCKED2		&group->mutex
HALF_LOCKED2	2	&dev->mutex

drivers/iommu/intel/cache.c __cache_tag_assign_parent_domain() -> cache_tag_assign()

Type	Parameter	Key	Value
PARAM_VALUE	0	domain	4096-ptr_max
PARAM_VALUE	0	domain->cache_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	domain->qi_batch	1-u64max
PARAM_VALUE	2	dev	4096-ptr_max
PARAM_VALUE	2	dev->cma_area->available_count	0-s64max
PARAM_VALUE	2	dev->cma_area->nranges	s32min-s32max
PARAM_VALUE	2	dev->dma_ops->alloc	0,1744715142275031040,2065280936184246272,2938795245442469888
PARAM_VALUE	2	dev->dma_ops->alloc_pages_op	0,4686288359180861440,6350905364812603392,6978773206971854848
PARAM_VALUE	2	dev->dma_ops->cache_sync	0
PARAM_VALUE	2	dev->dma_ops->dma_supported	0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888
PARAM_VALUE	2	dev->dma_ops->free	0,4778164490434129920,7144974343242604544,7861694134817480704
PARAM_VALUE	2	dev->dma_ops->free_pages	0,239457316199952384,5196233516945883136,7413093576918179840
PARAM_VALUE	2	dev->dma_ops->get_merge_boundary	0
PARAM_VALUE	2	dev->dma_ops->get_required_mask	0,7770840938859397120
PARAM_VALUE	2	dev->dma_ops->get_sgtable	0,1322759480623644672
PARAM_VALUE	2	dev->dma_ops->map_phys	0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696
PARAM_VALUE	2	dev->dma_ops->map_sg	0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488
PARAM_VALUE	2	dev->dma_ops->max_mapping_size	0,8830639662091943936
PARAM_VALUE	2	dev->dma_ops->mmap	0,5761417605877342208,7694740394750603264
PARAM_VALUE	2	dev->dma_ops->opt_mapping_size	0
PARAM_VALUE	2	dev->dma_ops->sync_sg_for_cpu	0,4862850025765572608
PARAM_VALUE	2	dev->dma_ops->sync_sg_for_device	0,3732476178258022400
PARAM_VALUE	2	dev->dma_ops->sync_single_for_cpu	0,1155325867376779264
PARAM_VALUE	2	dev->dma_ops->sync_single_for_device	0,8781567156597239808
PARAM_VALUE	2	dev->dma_ops->unmap_phys	0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048
PARAM_VALUE	2	dev->dma_ops->unmap_sg	0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440
PARAM_VALUE	2	dev->iommu	0,4096-ptr_max
PARAM_VALUE	2	dev->iommu->fault_param->queue->wq->flush_color	s32min-s32max
PARAM_VALUE	2	dev->iommu->fault_param->queue->wq->work_color	s32min-s32max
PARAM_VALUE	2	dev->iommu->iommu_dev->ops->blocked_domain	0,532766077614051328,1309262597071863808,3360818763908841472,5161617956659249152,5314750282517213184,6300359532015144960
PARAM_VALUE	2	dev->iommu->iommu_dev->ops->release_domain	0,109353748397924352,532766077614051328,3360818763908841472,5161617956659249152,8123815121812471808
PARAM_VALUE	2	dev->kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	2	dev->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	2	dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	4	type	2
BUF_SIZE	2	dev	(-1)-0,24-s32max
BUF_SIZE	2	dev	(-1)-0,24-s32max
BUF_SIZE	2	dev->bus	(-1),168
BUF_SIZE	2	dev->dma_mask	(-1),8
BUF_SIZE	2	dev->dma_parms	(-1),16
BUF_SIZE	2	dev->groups	(-1),16
BUF_SIZE	2	dev->init_name	(-1),14
BUF_SIZE	2	dev->parent	(-1),1616
CAPPED_DATA	2	dev	1
DATA_SOURCE	0	domain	$0
DATA_SOURCE	1	did	$1
DATA_SOURCE	2	dev	$2
DATA_SOURCE	3	pasid	$3
STR_LEN	2	dev->parent	(-1),4-5,13
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	2	dev->class	0-16777215
HOST_DATA	2	dev->flags	0-u32max
HOST_DATA	2	dev->iommu.max_pasids	0-u32max
USER_DATA	3	pasid	1-u32max
NO_OVERFLOW_SIMPLE	2	dev->cma_area->available_count
HALF_LOCKED2		&group->mutex
HALF_LOCKED2	2	&dev->mutex

drivers/iommu/intel/cache.c __cache_tag_assign_parent_domain() -> cache_tag_assign()

Type	Parameter	Key	Value
PARAM_VALUE	0	domain	4096-ptr_max
PARAM_VALUE	0	domain->cache_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	domain->qi_batch	1-u64max
PARAM_VALUE	2	dev	4096-ptr_max
PARAM_VALUE	2	dev->cma_area->available_count	0-s64max
PARAM_VALUE	2	dev->cma_area->nranges	s32min-s32max
PARAM_VALUE	2	dev->dma_ops->alloc	0,1744715142275031040,2065280936184246272,2938795245442469888
PARAM_VALUE	2	dev->dma_ops->alloc_pages_op	0,4686288359180861440,6350905364812603392,6978773206971854848
PARAM_VALUE	2	dev->dma_ops->cache_sync	0
PARAM_VALUE	2	dev->dma_ops->dma_supported	0,2528523692154392576,3617072262637035520,5023592177070743552,5276104885786021888
PARAM_VALUE	2	dev->dma_ops->free	0,4778164490434129920,7144974343242604544,7861694134817480704
PARAM_VALUE	2	dev->dma_ops->free_pages	0,239457316199952384,5196233516945883136,7413093576918179840
PARAM_VALUE	2	dev->dma_ops->get_merge_boundary	0
PARAM_VALUE	2	dev->dma_ops->get_required_mask	0,7770840938859397120
PARAM_VALUE	2	dev->dma_ops->get_sgtable	0,1322759480623644672
PARAM_VALUE	2	dev->dma_ops->map_phys	0,2506261230157742080,4169194063996235776,4848421345171935232,6326163439792029696
PARAM_VALUE	2	dev->dma_ops->map_sg	0,2118452656510775296,2518538481676259328,5872201013595766784,6630017431831871488
PARAM_VALUE	2	dev->dma_ops->max_mapping_size	0,8830639662091943936
PARAM_VALUE	2	dev->dma_ops->mmap	0,5761417605877342208,7694740394750603264
PARAM_VALUE	2	dev->dma_ops->opt_mapping_size	0
PARAM_VALUE	2	dev->dma_ops->sync_sg_for_cpu	0,4862850025765572608
PARAM_VALUE	2	dev->dma_ops->sync_sg_for_device	0,3732476178258022400
PARAM_VALUE	2	dev->dma_ops->sync_single_for_cpu	0,1155325867376779264
PARAM_VALUE	2	dev->dma_ops->sync_single_for_device	0,8781567156597239808
PARAM_VALUE	2	dev->dma_ops->unmap_phys	0,3634718672199266304,5690836758666383360,6257189515678003200,7756707427785986048
PARAM_VALUE	2	dev->dma_ops->unmap_sg	0,1256335292805263360,8472845699660435456,8676762248147066880,8920167536469053440
PARAM_VALUE	2	dev->iommu	0,4096-ptr_max
PARAM_VALUE	2	dev->iommu->fault_param->queue->wq->flush_color	s32min-s32max
PARAM_VALUE	2	dev->iommu->fault_param->queue->wq->work_color	s32min-s32max
PARAM_VALUE	2	dev->iommu->iommu_dev->ops->blocked_domain	0,532766077614051328,1309262597071863808,3360818763908841472,5161617956659249152,5314750282517213184,6300359532015144960
PARAM_VALUE	2	dev->iommu->iommu_dev->ops->release_domain	0,109353748397924352,532766077614051328,3360818763908841472,5161617956659249152,8123815121812471808
PARAM_VALUE	2	dev->kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	2	dev->kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	2	dev->power.wakeirq->status	0-4294967295
PARAM_VALUE	4	type	3
BUF_SIZE	2	dev	(-1)-0,24-s32max
BUF_SIZE	2	dev	(-1)-0,24-s32max
BUF_SIZE	2	dev->bus	(-1),168
BUF_SIZE	2	dev->dma_mask	(-1),8
BUF_SIZE	2	dev->dma_parms	(-1),16
BUF_SIZE	2	dev->groups	(-1),16
BUF_SIZE	2	dev->init_name	(-1),14
BUF_SIZE	2	dev->parent	(-1),1616
CAPPED_DATA	2	dev	1
DATA_SOURCE	0	domain	$0
DATA_SOURCE	1	did	$1
DATA_SOURCE	2	dev	$2
DATA_SOURCE	3	pasid	$3
STR_LEN	2	dev->parent	(-1),4-5,13
NOSPEC	3	pasid
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	2	dev->class	0-16777215
HOST_DATA	2	dev->flags	0-u32max
HOST_DATA	2	dev->iommu.max_pasids	0-u32max
USER_DATA	3	pasid	1-u32max
NO_OVERFLOW_SIMPLE	2	dev->cma_area->available_count
HALF_LOCKED2		&group->mutex
HALF_LOCKED2	2	&dev->mutex