Defined in 1 files as a prototype:

Defined in 6 files as a macro:

Defined in 7 files as a function:

Referenced in 12 files:

Smatch caller information:

kernel/exit.c exit_mm() -> enter_lazy_tlb()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
CAPPED_DATA 0 mm 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mm unit_byte
LOCK2 irq
LOCK2 0 &mm->mmap_lock
HALF_LOCKED2 global &system_transition_mutex
TYPE_LOCK (struct mm_struct)->mmap_lock

kernel/kthread.c kthread_unuse_mm() -> enter_lazy_tlb()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 1 tsk 4096-ptr_max
CAPPED_DATA 0 mm 1
DATA_SOURCE 0 mm $0
DATA_SOURCE 1 tsk r get_current
BIT_INFO 1 tsk->flags 0x0,0xffffffff
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mm unit_byte
LOCK2 irq
LOCK2 1 &tsk->alloc_lock
HALF_LOCKED2 &access->ioas_lock
HALF_LOCKED2 &iommu->lock
HALF_LOCKED2 &iopt->iova_rwsem
HALF_LOCKED2 &kvm->arch.xen.shinfo_cache.lock
HALF_LOCKED2 &wq->uc_lock
TYPE_LOCK (struct task_struct)->alloc_lock

arch/x86/kernel/cpu/common.c cpu_init() -> enter_lazy_tlb()

Type Parameter Key Value
PARAM_VALUE 0 mm 7138969414219841536
PARAM_VALUE 1 tsk 4096-ptr_max
BUF_SIZE 1 tsk->active_mm 3008
DATA_SOURCE 1 tsk r get_current
MEM_ZERO 1 tsk->thread.tls_array
NOCHECK_CALL
HALF_LOCKED2 irq

kernel/sched/core.c context_switch() -> enter_lazy_tlb()

Type Parameter Key Value
PARAM_VALUE 1 tsk 4096-ptr_max
CAPPED_DATA 1 tsk 1
DATA_SOURCE 1 tsk $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mm unit_byte
UNITS 1 tsk unit_byte
LOCK2 irq