Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

mm/madvise.c madvise_cold_or_pageout_pte_range() -> flush_tlb_batched_pending()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mm unit_byte
LOCK2 ptl
HALF_LOCKED2 &mm->mmap_lock

mm/madvise.c madvise_cold_or_pageout_pte_range() -> flush_tlb_batched_pending()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 0 mm->tlb_flush_batched.counter 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mm unit_byte
LOCK2 ptl
HALF_LOCKED2 &mm->mmap_lock

mm/madvise.c madvise_free_pte_range() -> flush_tlb_batched_pending()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mm unit_byte
LOCK2 ptl
HALF_LOCKED2 &mm->mmap_lock

mm/madvise.c madvise_free_pte_range() -> flush_tlb_batched_pending()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 0 mm->tlb_flush_batched.counter 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mm unit_byte
LOCK2 ptl
HALF_LOCKED2 &mm->mmap_lock

mm/mprotect.c change_pte_range() -> flush_tlb_batched_pending()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
PARAM_VALUE 0 mm->iommu_mm->pasid 0-4294967295
PARAM_VALUE 0 mm->notifier_subscriptions->has_itree 0-1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mm unit_byte
LOCK2 ptl
HALF_LOCKED2 &dst_mm->mmap_lock
HALF_LOCKED2 &mm->mmap_lock

mm/mremap.c move_ptes() -> flush_tlb_batched_pending()

Type Parameter Key Value
PARAM_VALUE 0 mm 4096-ptr_max
NOCHECK_CALL
UNITS 0 mm unit_byte
LOCK2 &mm->mmap_lock
LOCK2 old_ptl
LOCK2 rcu_read
HALF_LOCKED2 &tsk->signal->exec_update_lock
HALF_LOCKED2 new_ptl
TYPE_LOCK (struct mm_struct)->mmap_lock

mm/memory.c zap_pte_range() -> flush_tlb_batched_pending()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 mm->arg_start
UNITS 0 mm unit_byte
LOCK2 ptl
HALF_LOCKED2 &mm->mmap_lock