Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/madvise.c mmu_notifier_invalidate_range_start() -> __mmu_notifier_invalidate_range_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 4398489290989989888 |
| PARAM_VALUE | 0 | range->event | 1 |
| PARAM_VALUE | 0 | range->flags | 1 |
| PARAM_VALUE | 0 | range->mm | 4096-ptr_max |
| PARAM_VALUE | 0 | range->mm->notifier_subscriptions | 1-u64max |
| PARAM_VALUE | 0 | range->owner | 0 |
| DATA_SOURCE | 0 | range | $0 |
| NOSPEC | 0 | range->start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | range->end | 0-u64max |
| USER_DATA | 0 | range->start | 0-u64max |
| HALF_LOCKED2 | &madv_behavior->mm->mmap_lock | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/huge_memory.c mmu_notifier_invalidate_range_start() -> __mmu_notifier_invalidate_range_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 792617696445898752,2941470463630782464,3635562907455660032,5173728893640794112 |
| PARAM_VALUE | 0 | range->event | 1 |
| PARAM_VALUE | 0 | range->flags | 1 |
| PARAM_VALUE | 0 | range->mm | 4096-ptr_max |
| PARAM_VALUE | 0 | range->mm->notifier_subscriptions | 1-u64max |
| DATA_SOURCE | 0 | range | $0 |
| NOSPEC | 0 | range->start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | range->end | 2097152-2149580799[c] |
| USER_DATA | 0 | range->start | 0-u64max[c] |
| HALF_LOCKED2 | &ctx->map_changing_lock |
mm/userfaultfd.c mmu_notifier_invalidate_range_start() -> __mmu_notifier_invalidate_range_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 2867112011749175296 |
| PARAM_VALUE | 0 | range->event | 1 |
| PARAM_VALUE | 0 | range->flags | 1 |
| PARAM_VALUE | 0 | range->mm | 4096-ptr_max |
| PARAM_VALUE | 0 | range->mm->notifier_subscriptions | 1-u64max |
| PARAM_VALUE | 0 | range->start | 0-18446744073709551614 |
| DATA_SOURCE | 0 | range | $0 |
| NOSPEC | 0 | range->start | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | range->end | 1-9223372039002259454[c] |
| USER_DATA | 0 | range->start | 0-s32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | range->start | |
| LOCK2 | &ctx->map_changing_lock | ||
| TYPE_LOCK | (struct userfaultfd_ctx)->map_changing_lock |
fs/proc/task_mmu.c mmu_notifier_invalidate_range_start() -> __mmu_notifier_invalidate_range_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 5210798382858874880,7625269519327936512 |
| PARAM_VALUE | 0 | range->end | 4096-u64max |
| PARAM_VALUE | 0 | range->event | 2,4 |
| PARAM_VALUE | 0 | range->flags | 1 |
| PARAM_VALUE | 0 | range->mm | 4096-ptr_max |
| PARAM_VALUE | 0 | range->mm->notifier_subscriptions | 1-u64max |
| PARAM_VALUE | 0 | range->start | 0-18446744073709551614 |
| DATA_SOURCE | 0 | range | $0 |
| NOSPEC | 0 | range->end | |
| NOSPEC | 0 | range->start | |
| HARD_MAX | 0 | range->event | 4 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | range->end | 4096-u64max[c] |
| USER_DATA | 0 | range->start | 0-18446744073709551614[c] |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/rmap.c mmu_notifier_invalidate_range_start() -> __mmu_notifier_invalidate_range_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 824168844787027968,1813473871858290688,4634392286774272000,5778953103685988352,8368949978201804800 |
| PARAM_VALUE | 0 | range->event | 1,3,7 |
| PARAM_VALUE | 0 | range->flags | 1 |
| PARAM_VALUE | 0 | range->mm | 4096-ptr_max |
| PARAM_VALUE | 0 | range->mm->notifier_subscriptions | 1-u64max |
| DATA_SOURCE | 0 | range | $0 |
| NOSPEC | 0 | range->start | |
| HARD_MAX | 0 | range->event | 7 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | range->end | 4096[c] |
| USER_DATA | 0 | range->start | 0[c] |
| HALF_LOCKED2 | &mm->mmap_lock |
mm/mprotect.c mmu_notifier_invalidate_range_start() -> __mmu_notifier_invalidate_range_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 8912915932843421696 |
| PARAM_VALUE | 0 | range->end | 0 |
| PARAM_VALUE | 0 | range->event | 2 |
| PARAM_VALUE | 0 | range->flags | 1 |
| PARAM_VALUE | 0 | range->mm | 4096-ptr_max |
| PARAM_VALUE | 0 | range->mm->notifier_subscriptions | 1-u64max |
| DATA_SOURCE | 0 | range | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | range->end | 0[c] |
| USER_DATA | 0 | range->start | 0-u64max[c] |
| HALF_LOCKED2 | &dst_mm->mmap_lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | _T->lock |
mm/hugetlb.c mmu_notifier_invalidate_range_start() -> __mmu_notifier_invalidate_range_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 1442440342106030080,2350206470835306496,3118013816349769728,7135294135759257600,7156711261230854144,7395660972796018688 |
| PARAM_VALUE | 0 | range->event | 1-2 |
| PARAM_VALUE | 0 | range->flags | 1 |
| PARAM_VALUE | 0 | range->mm | 4096-ptr_max |
| PARAM_VALUE | 0 | range->mm->notifier_subscriptions | 1-u64max |
| DATA_SOURCE | 0 | range | $0 |
| NOSPEC | 0 | range->start | |
| HARD_MAX | 0 | range->event | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | range->end | 0-2147483648[c] |
| USER_DATA | 0 | range->start | 0-u64max |
| HALF_LOCKED2 | &mapping->i_mmap_rwsem | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &oldmm->mmap_lock |
mm/mremap.c mmu_notifier_invalidate_range_start() -> __mmu_notifier_invalidate_range_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 3080451775285407744 |
| PARAM_VALUE | 0 | range->event | 0 |
| PARAM_VALUE | 0 | range->flags | 1 |
| PARAM_VALUE | 0 | range->mm | 4096-ptr_max |
| PARAM_VALUE | 0 | range->mm->notifier_subscriptions | 1-u64max |
| DATA_SOURCE | 0 | range | $0 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | range->start | 0-u64max |
| LOCK2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &tsk->signal->exec_update_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/ksm.c mmu_notifier_invalidate_range_start() -> __mmu_notifier_invalidate_range_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 4441515311950295040,5824036836300570624 |
| PARAM_VALUE | 0 | range->event | 1 |
| PARAM_VALUE | 0 | range->flags | 1 |
| PARAM_VALUE | 0 | range->mm | 4096-ptr_max |
| PARAM_VALUE | 0 | range->mm->notifier_subscriptions | 1-u64max |
| PARAM_VALUE | 0 | range->start | 0-18446744073709551601,18446744073709551603-u64max |
| DATA_SOURCE | 0 | range | $0 |
| NOCHECK_CALL | |||
| LOCK2 | &mm->mmap_lock | ||
| LOCK2 | global &ksm_thread_mutex | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/migrate_device.c mmu_notifier_invalidate_range_start() -> __mmu_notifier_invalidate_range_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 5823594452154339328,8053976726702792704 |
| PARAM_VALUE | 0 | range->event | 6 |
| PARAM_VALUE | 0 | range->flags | 1 |
| PARAM_VALUE | 0 | range->mm | 4096-ptr_max |
| PARAM_VALUE | 0 | range->mm->notifier_subscriptions | 1-u64max |
| DATA_SOURCE | 0 | range | $0 |
| NOSPEC | 0 | range->end | |
| NOSPEC | 0 | range->start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | range->end | 4096-s32max[c] |
| USER_DATA | 0 | range->start | 0,4096-s32max[c] |
mm/memory.c mmu_notifier_invalidate_range_start() -> __mmu_notifier_invalidate_range_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 3148518515219759104,5544380132824559616,6585023926949617664,8560766692117700608,8569428529120919552 |
| PARAM_VALUE | 0 | range->event | 0-1,3 |
| PARAM_VALUE | 0 | range->flags | 1 |
| PARAM_VALUE | 0 | range->mm | 4096-ptr_max |
| PARAM_VALUE | 0 | range->mm->notifier_subscriptions | 1-u64max |
| DATA_SOURCE | 0 | range | $0 |
| NOSPEC | 0 | range->end | |
| NOSPEC | 0 | range->start | |
| HARD_MAX | 0 | range->event | 3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | range->end | 0-u32max[c] |
| USER_DATA | 0 | range->start | 0-u64max |
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &oldmm->mmap_lock |
mm/memory.c mmu_notifier_invalidate_range_start_nonblock() -> __mmu_notifier_invalidate_range_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 4201167406952042496 |
| PARAM_VALUE | 0 | range->event | 1 |
| PARAM_VALUE | 0 | range->flags | 0 |
| PARAM_VALUE | 0 | range->mm | 4096-ptr_max |
| PARAM_VALUE | 0 | range->mm->notifier_subscriptions | 1-u64max |
| DATA_SOURCE | 0 | range | $0 |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
kernel/events/uprobes.c mmu_notifier_invalidate_range_start() -> __mmu_notifier_invalidate_range_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 7153266549726253056 |
| PARAM_VALUE | 0 | range->end | 4096 |
| PARAM_VALUE | 0 | range->event | 1 |
| PARAM_VALUE | 0 | range->flags | 1 |
| PARAM_VALUE | 0 | range->mm | 4096-ptr_max |
| PARAM_VALUE | 0 | range->mm->notifier_subscriptions | 1-u64max |
| PARAM_VALUE | 0 | range->start | 0,4096-u64max |
| DATA_SOURCE | 0 | range | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &uprobe->register_rwsem |
mm/mapping_dirty_helpers.c mmu_notifier_invalidate_range_start() -> __mmu_notifier_invalidate_range_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 4096-ptr_max |
| PARAM_VALUE | 0 | range->event | 3 |
| PARAM_VALUE | 0 | range->flags | 1 |
| PARAM_VALUE | 0 | range->mm | 4096-ptr_max |
| PARAM_VALUE | 0 | range->mm->notifier_subscriptions | 1-u64max |
| DATA_SOURCE | 0 | range | $0 |
| NOSPEC | 0 | range->end | |
| NOSPEC | 0 | range->start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | range->end | 1-s32max[c] |
| USER_DATA | 0 | range->start | 0-18446744073709551614[c] |
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | &mapping->i_mmap_rwsem |
mm/khugepaged.c mmu_notifier_invalidate_range_start() -> __mmu_notifier_invalidate_range_start()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | range | 4707669786698776576,7671385110078320640,7948911468560355328 |
| PARAM_VALUE | 0 | range->event | 1 |
| PARAM_VALUE | 0 | range->flags | 1 |
| PARAM_VALUE | 0 | range->mm | 4096-ptr_max |
| PARAM_VALUE | 0 | range->mm->notifier_subscriptions | 1-u64max |
| DATA_SOURCE | 0 | range | $0 |
| NOSPEC | 0 | range->start | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | range->end | 0-u64max[c] |
| USER_DATA | 0 | range->start | 0,2097152-18446744073709551614[c] |
| HALF_LOCKED2 | &mapping->i_mmap_rwsem | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &vma->anon_vma->root->rwsem |