Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/iommu/omap-iommu-debug.c __dump_tlb_entries() -> iotlb_lock_set()

Type Parameter Key Value
PARAM_VALUE 0 obj 4096-ptr_max
PARAM_VALUE 1 l 8415504290931867648
PARAM_VALUE 1 l->base 0-31
PARAM_VALUE 1 l->vict 0-31
BUF_SIZE 0 obj s32min-(-2),1-s32max
BUF_SIZE 0 obj s32min-(-2),1-s32max
DATA_SOURCE 0 obj $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 obj unit_array_size
LOCK2 &s->lock
LOCK2 global &iommu_debug_lock
TYPE_LOCK (struct seq_file)->lock

drivers/iommu/omap-iommu.c __iotlb_read_cr() -> iotlb_lock_set()

Type Parameter Key Value
PARAM_VALUE 0 obj 4096-ptr_max
PARAM_VALUE 1 l 5211028286952583168
PARAM_VALUE 1 l->base 0-31
BUF_SIZE 0 obj s32min-(-1),1-s32max
BUF_SIZE 0 obj s32min-(-1),1-s32max
DATA_SOURCE 0 obj $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 l->vict
HALF_LOCKED2 &s->lock
HALF_LOCKED2 global &iommu_debug_lock

drivers/iommu/omap-iommu.c flush_iotlb_all() -> iotlb_lock_set()

Type Parameter Key Value
PARAM_VALUE 0 obj 4096-ptr_max
PARAM_VALUE 1 l 182217018367389696
PARAM_VALUE 1 l->base 0
PARAM_VALUE 1 l->vict 0
BUF_SIZE 0 obj->iopgd (-1),16384
DATA_SOURCE 0 obj $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 obj unit_byte
HALF_LOCKED2 &omap_domain->lock
HALF_LOCKED2 0 &obj->iommu_lock
HALF_LOCKED2 0 &obj->page_table_lock

drivers/iommu/omap-iommu.c omap_iommu_restore_tlb_entries() -> iotlb_lock_set()

Type Parameter Key Value
PARAM_VALUE 0 obj 4096-ptr_max
PARAM_VALUE 1 l 7841425422365347840
PARAM_VALUE 1 l->base 0
BUF_SIZE 0 obj s32min-(-2),1-s32max
BUF_SIZE 0 obj s32min-(-2),1-s32max
DATA_SOURCE 0 obj $0
NOCHECK_CALL

drivers/iommu/omap-iommu.c omap_iommu_restore_tlb_entries() -> iotlb_lock_set()

Type Parameter Key Value
PARAM_VALUE 0 obj 4096-ptr_max
PARAM_VALUE 1 l 7841425422365347840
BUF_SIZE 0 obj s32min-(-2),1-s32max
BUF_SIZE 0 obj s32min-(-2),1-s32max
CAPPED_DATA 0 obj->num_cr_ctx 1
DATA_SOURCE 0 obj $0
NOCHECK_CALL