Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/mmu_notifier.c __mmu_notifier_arch_invalidate_secondary_tlbs() -> (struct mmu_notifier_ops)->arch_invalidate_secondary_tlbs()

Type Parameter Key Value
PARAM_VALUE 0 mn 4096-ptr_max
PARAM_VALUE 0 mn->ops 4096-ptr_max
PARAM_VALUE 0 mn->ops->arch_invalidate_secondary_tlbs 2531244588478550016,3838771156564492288
PARAM_VALUE 1 mm 4096-ptr_max
PARAM_VALUE 1 mm->context.ldt_usr_sem.first_waiter->type 0-1
PARAM_VALUE 1 mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 1 mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 1 mm->notifier_subscriptions 1-u64max
PARAM_VALUE 1 mm->vma_writer_wait.task->sched_class->uclamp_enabled 0-1
BUF_SIZE 1 mm (-1),4,24,64,168-s32max
BUF_SIZE 1 mm (-1),4,24,64,168-s32max
DATA_SOURCE 1 mm $0
DATA_SOURCE 2 start $1
DATA_SOURCE 3 end $2
CONTAINER 0 -48-16+0 $(-1)
NOSPEC 2 start
NOSPEC 2 start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 start 0-u64max[c]
USER_DATA 3 end 0-18446744073709551614[c]
NO_OVERFLOW_SIMPLE 1 mm->arg_start
LOCK2 global &srcu
HALF_LOCKED2 _T->lock
HALF_LOCKED2 1 &mm->context.ldt_usr_sem
HALF_LOCKED2 1 &mm->mmap_lock