Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/mempolicy.c __do_sys_set_mempolicy_home_node() -> mbind_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmi | 676890446660313088 |
| PARAM_VALUE | 0 | vmi->mas.status | 0,2-3 |
| PARAM_VALUE | 1 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | vma->vm_mm | 4096-ptr_max |
| PARAM_VALUE | 1 | vma->vm_policy | 4096-ptr_max |
| PARAM_VALUE | 2 | prev | 4117012703148687360 |
| PARAM_VALUE | 5 | new_pol | 4096-ptr_max |
| PARAM_VALUE | 5 | new_pol->home_node | 0-1023 |
| CAPPED_DATA | 3 | start | 1 |
| CAPPED_DATA | 3 | start | 1 |
| CAPPED_DATA | 5 | new_pol | 1 |
| DATA_SOURCE | 1 | vma | r vma_find |
| DATA_SOURCE | 3 | start | r __untagged_addr |
| DATA_SOURCE | 5 | new_pol | r mpol_dup |
| PARAM_COMPARE | 3 | start | < $4 |
| PARAM_COMPARE | 4 | end | > $3 |
| PARAM_COMPARE | 4 | end | > $3 |
| BIT_INFO | 3 | start | 0x0,0xfffffffffffff000 |
| BIT_INFO | 3 | start | 0x0,0xfffffffffffff000 |
| USER_DATA | 0 | vmi->mas.index | 0-u64max |
| USER_DATA | 0 | vmi->mas.last | 0-u64max |
| USER_DATA | 1 | vma->vm_policy->flags | 0,24,8192-57368[c] |
| USER_DATA | 1 | vma->vm_policy->home_node | 0-1023 |
| USER_DATA | 1 | vma->vm_policy->mode | 2,5 |
| USER_DATA | 3 | start | 0-u64max[c] |
| USER_DATA | 4 | end | 0-u64max |
| USER_DATA | 5 | new_pol->flags | 0,24,8192-57368[c] |
| USER_DATA | 5 | new_pol->home_node | 0-1023 |
| USER_DATA | 5 | new_pol->mode | 2-3,5-u16max |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mempolicy.c __do_sys_set_mempolicy_home_node() -> mbind_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmi | 676890446660313088 |
| PARAM_VALUE | 0 | vmi->mas.status | 0,2-3 |
| PARAM_VALUE | 1 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | vma->vm_mm | 4096-ptr_max |
| PARAM_VALUE | 1 | vma->vm_policy | 4096-ptr_max |
| PARAM_VALUE | 2 | prev | 4117012703148687360 |
| PARAM_VALUE | 5 | new_pol | 4096-ptr_max |
| PARAM_VALUE | 5 | new_pol->home_node | 0-1023 |
| CAPPED_DATA | 3 | start | 1 |
| CAPPED_DATA | 3 | start | 1 |
| CAPPED_DATA | 5 | new_pol | 1 |
| DATA_SOURCE | 1 | vma | r vma_find |
| DATA_SOURCE | 3 | start | r __untagged_addr |
| DATA_SOURCE | 5 | new_pol | r mpol_dup |
| PARAM_COMPARE | 3 | start | < $4 |
| PARAM_COMPARE | 4 | end | > $3 |
| PARAM_COMPARE | 4 | end | > $3 |
| BIT_INFO | 3 | start | 0x0,0xfffffffffffff000 |
| BIT_INFO | 3 | start | 0x0,0xfffffffffffff000 |
| USER_DATA | 0 | vmi->mas.index | 0-u64max |
| USER_DATA | 0 | vmi->mas.last | 0-u64max |
| USER_DATA | 1 | vma->vm_policy->flags | 0,24,8192-57368[c] |
| USER_DATA | 1 | vma->vm_policy->home_node | 0-1023 |
| USER_DATA | 1 | vma->vm_policy->mode | 2,5 |
| USER_DATA | 3 | start | 0-u64max[c] |
| USER_DATA | 4 | end | 0-u64max |
| USER_DATA | 5 | new_pol->flags | 0,24,8192-57368[c] |
| USER_DATA | 5 | new_pol->home_node | 0-1023 |
| USER_DATA | 5 | new_pol->mode | 2-3,5-u16max |
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
mm/mempolicy.c do_mbind() -> mbind_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmi | 6390261669419782144 |
| PARAM_VALUE | 0 | vmi->mas.status | 0,2-3 |
| PARAM_VALUE | 1 | vma | 1-u64max |
| PARAM_VALUE | 2 | prev | 7479723384087871488 |
| PARAM_VALUE | 5 | new_pol | 0,4096-ptr_max |
| PARAM_VALUE | 5 | new_pol->refcnt.counter | 1 |
| CAPPED_DATA | 3 | start | 1 |
| CAPPED_DATA | 3 | start | 1 |
| DATA_SOURCE | 1 | vma | r vma_find |
| DATA_SOURCE | 3 | start | $0 |
| DATA_SOURCE | 5 | new_pol | r mpol_new |
| PARAM_COMPARE | 3 | start | < $4 |
| PARAM_COMPARE | 4 | end | > $3 |
| PARAM_COMPARE | 4 | end | > $3 |
| BIT_INFO | 3 | start | 0x0,0xfffffffffffff000 |
| BIT_INFO | 3 | start | 0x0,0xfffffffffffff000 |
| USER_DATA | 1 | vma->vm_policy->flags | 0,24,8192-57368[c] |
| USER_DATA | 1 | vma->vm_policy->home_node | 0-1023 |
| USER_DATA | 1 | vma->vm_policy->mode | 2-3,5-u16max |
| USER_DATA | 3 | start | 0-u64max[c] |
| USER_DATA | 4 | end | 0-u64max |
| USER_DATA | 5 | new_pol->flags | 0,24,8192-57368[c] |
| NO_OVERFLOW_SIMPLE | 0 | vmi->mas.last | |
| NO_OVERFLOW_SIMPLE | 3 | start | |
| NO_OVERFLOW_SIMPLE | 5 | new_pol->mode | |
| HALF_LOCKED2 | &mm->mmap_lock |