Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/mm/tlb.c broadcast_tlb_flush() -> __tlbsync()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctx->map_changing_lock
HALF_LOCKED2 &mm->context.ldt_usr_sem
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &vma->vm_file->f_mapping->i_mmap_rwsem
HALF_LOCKED2 flags
HALF_LOCKED2 old_ptl
HALF_LOCKED2 ptl
HALF_LOCKED2 rcu_read
HALF_LOCKED2 vmf->ptl

arch/x86/mm/tlb.c invlpgb_flush_all() -> __tlbsync()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/mm/tlb.c invlpgb_flush_all_nonglobals() -> __tlbsync()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &global_asid_lock
HALF_LOCKED2 irq

arch/x86/mm/tlb.c invlpgb_kernel_range_flush() -> __tlbsync()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mapping->invalidate_lock
HALF_LOCKED2 global &init_mm.page_table_lock
HALF_LOCKED2 global &pcpu_alloc_mutex
HALF_LOCKED2 global &vmap_purge_lock