Defined in 1 files as a prototype:
Defined in 1 files as a member:
Defined in 1 files as a function:
Referenced in 6 files:
- arch/x86/hyperv/mmu.c, line 245
- arch/x86/include/asm/paravirt.h, line 46
- arch/x86/kernel/kvm.c, line 858
- arch/x86/kernel/paravirt.c, line 156
- arch/x86/mm/tlb.c
- arch/x86/xen/mmu_pv.c, line 2193
Smatch caller information:
arch/x86/mm/tlb.c arch_tlbbatch_flush() -> flush_tlb_multi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpumask | 4096-ptr_max |
| PARAM_VALUE | 1 | info | 167249523267760128 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &ctx->walk_control_lock |
arch/x86/mm/tlb.c finish_asid_transition() -> flush_tlb_multi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpumask | 4096-ptr_max |
| PARAM_VALUE | 1 | info | 7502797561896202240 |
| CAPPED_DATA | 1 | info->end | 1 |
| DATA_SOURCE | 1 | info | $0 |
| 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 | pml | ||
| HALF_LOCKED2 | ptl | ||
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | vmf->ptl |
arch/x86/mm/tlb.c flush_tlb_mm_range() -> flush_tlb_multi()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cpumask | 4096-ptr_max |
| PARAM_VALUE | 1 | info | 7502797561896202240 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | info->end | 0-18446744073709551614[c] |
| USER_DATA | 1 | info->start | 0-u64max[c] |
| HALF_LOCKED2 | &ctx->map_changing_lock | ||
| HALF_LOCKED2 | &mm->context.ldt_usr_sem | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| 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 |