Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/memory.c follow_pfnmap_start() -> pfnmap_args_setup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 160931784281886720,2715936986836488192,4773091259257602048,7587615763328888832 |
| PARAM_VALUE | 0 | args->addr_mask | 0,18446744072635809792,18446744073707454464,18446744073709547520 |
| PARAM_VALUE | 0 | args->address | 0-18446744073709551614 |
| PARAM_VALUE | 0 | args->lock | 0,4096-ptr_max |
| PARAM_VALUE | 0 | args->pfn | 0-1099511889918 |
| PARAM_VALUE | 0 | args->ptep | 0,4096-ptr_max |
| PARAM_VALUE | 1 | lock | 4096-ptr_max |
| PARAM_VALUE | 2 | ptep | 0 |
| PARAM_VALUE | 4 | pfn_base | 0-1099511627775 |
| PARAM_VALUE | 5 | addr_mask | 18446744072635809792 |
| BUF_SIZE | 1 | lock | 72 |
| CAPPED_DATA | 6 | writable | 1 |
| DATA_SOURCE | 0 | args | $0 |
| DATA_SOURCE | 1 | lock | r pud_lock |
| BIT_INFO | 4 | pfn_base | 0x0,0xffffffffff |
| NOSPEC | 0 | args->address | |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | args->address | 0-8796093018112[c] |
| USER_DATA | 0 | args->pfn | 0-1099511889918[c] |
| HALF_LOCKED2 | &iommu->lock | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/memory.c follow_pfnmap_start() -> pfnmap_args_setup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 160931784281886720,2715936986836488192,4773091259257602048,7587615763328888832 |
| PARAM_VALUE | 0 | args->addr_mask | 0,18446744072635809792,18446744073707454464,18446744073709547520 |
| PARAM_VALUE | 0 | args->address | 0-18446744073709551614 |
| PARAM_VALUE | 0 | args->lock | 0,4096-ptr_max |
| PARAM_VALUE | 0 | args->pfn | 0-1099511889918 |
| PARAM_VALUE | 0 | args->ptep | 0,4096-ptr_max |
| PARAM_VALUE | 1 | lock | 4096-ptr_max |
| PARAM_VALUE | 2 | ptep | 0 |
| PARAM_VALUE | 4 | pfn_base | 0-1099511627775 |
| PARAM_VALUE | 5 | addr_mask | 18446744073707454464 |
| DATA_SOURCE | 0 | args | $0 |
| DATA_SOURCE | 1 | lock | r pmd_lock |
| BIT_INFO | 4 | pfn_base | 0x0,0xffffffffff |
| NOSPEC | 0 | args->address | |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | args->address | 0-8796093018112[c] |
| USER_DATA | 0 | args->pfn | 0-1099511889918[c] |
| HALF_LOCKED2 | &iommu->lock | ||
| HALF_LOCKED2 | &mm->mmap_lock |
mm/memory.c follow_pfnmap_start() -> pfnmap_args_setup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 160931784281886720,2715936986836488192,4773091259257602048,7587615763328888832 |
| PARAM_VALUE | 0 | args->addr_mask | 0,18446744072635809792,18446744073707454464,18446744073709547520 |
| PARAM_VALUE | 0 | args->address | 0-18446744073709551614 |
| PARAM_VALUE | 0 | args->lock | 0,4096-ptr_max |
| PARAM_VALUE | 0 | args->pfn | 0-1099511889918 |
| PARAM_VALUE | 0 | args->ptep | 0,4096-ptr_max |
| PARAM_VALUE | 1 | lock | 4096-ptr_max |
| PARAM_VALUE | 2 | ptep | 4096-ptr_max |
| PARAM_VALUE | 4 | pfn_base | 0-1099511627775 |
| PARAM_VALUE | 5 | addr_mask | 18446744073709547520 |
| CAPPED_DATA | 7 | special | 1 |
| DATA_SOURCE | 0 | args | $0 |
| DATA_SOURCE | 2 | ptep | r pte_offset_map_lock |
| BIT_INFO | 4 | pfn_base | 0x0,0xffffffffff |
| NOSPEC | 0 | args->address | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | args->address | 0-8796093018112[c] |
| USER_DATA | 0 | args->pfn | 0-1099511889918[c] |
| LOCK2 | 1 | lock | |
| HALF_LOCKED2 | &iommu->lock | ||
| HALF_LOCKED2 | &mm->mmap_lock |