Defined in 3 files as a function:
- include/linux/userfaultfd_k.h, line 165 (as a function)
- include/linux/userfaultfd_k.h, line 350 (as a function)
- tools/testing/vma/include/stubs.h, line 353 (as a function)
Referenced in 1 files:
Smatch caller information:
mm/vma.c is_mergeable_vma() -> is_mergeable_vm_userfaultfd_ctx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| CAPPED_DATA | 0 | vma->vm_file | 1 |
| CAPPED_DATA | 0 | vma->vm_policy | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_end | |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_start | |
| HALF_LOCKED2 | &mm->mmap_lock |