Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- arch/s390/pci/pci_mmio.c
- drivers/vfio/vfio_iommu_type1.c, line 573
- drivers/virt/acrn/mm.c, line 201
- mm/memory.c
- virt/kvm/kvm_main.c, line 2982
Smatch caller information:
mm/memory.c generic_access_phys() -> follow_pfnmap_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 2715936986836488192 |
| PARAM_VALUE | 0 | args->addr_mask | 18446744072635809792,18446744073707454464,18446744073709547520 |
| PARAM_VALUE | 0 | args->address | 0-18446744073709551614 |
| PARAM_VALUE | 0 | args->lock | 4096-ptr_max |
| PARAM_VALUE | 0 | args->pfn | 0-1099511889918 |
| PARAM_VALUE | 0 | args->ptep | 0,4096-ptr_max |
| PARAM_VALUE | 0 | args->special | 0 |
| PARAM_VALUE | 0 | args->vma | 4096-ptr_max |
| PARAM_VALUE | 0 | args->writable | 0 |
| NOSPEC | 0 | args->address | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | args->address | 0[c] |
| USER_DATA | 0 | args->pfn | 0-1099511889918[c] |
| LOCK2 | &args.lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct follow_pfnmap_args)->lock |
mm/memory.c generic_access_phys() -> follow_pfnmap_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 2715936986836488192 |
| PARAM_VALUE | 0 | args->addr_mask | 18446744072635809792,18446744073707454464,18446744073709547520 |
| PARAM_VALUE | 0 | args->address | 0-18446744073709551614 |
| PARAM_VALUE | 0 | args->lock | 4096-ptr_max |
| PARAM_VALUE | 0 | args->pfn | 0-1099511889918 |
| PARAM_VALUE | 0 | args->ptep | 0,4096-ptr_max |
| PARAM_VALUE | 0 | args->special | 0 |
| PARAM_VALUE | 0 | args->vma | 4096-ptr_max |
| PARAM_VALUE | 0 | args->writable | 0 |
| NOSPEC | 0 | args->address | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | args->address | 0[c] |
| USER_DATA | 0 | args->pfn | 0-1099511889918[c] |
| LOCK2 | &args.lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct follow_pfnmap_args)->lock |
mm/memory.c generic_access_phys() -> follow_pfnmap_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 2715936986836488192 |
| PARAM_VALUE | 0 | args->addr_mask | 18446744072635809792,18446744073707454464,18446744073709547520 |
| PARAM_VALUE | 0 | args->address | 0-18446744073709551614 |
| PARAM_VALUE | 0 | args->lock | 4096-ptr_max |
| PARAM_VALUE | 0 | args->pfn | 0-1099511889918 |
| PARAM_VALUE | 0 | args->ptep | 0,4096-ptr_max |
| PARAM_VALUE | 0 | args->special | 0 |
| PARAM_VALUE | 0 | args->vma | 4096-ptr_max |
| PARAM_VALUE | 0 | args->writable | 0 |
| NOSPEC | 0 | args->address | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | args->address | 0[c] |
| USER_DATA | 0 | args->pfn | 0-1099511889918[c] |
| LOCK2 | &args.lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct follow_pfnmap_args)->lock |
drivers/vfio/vfio_iommu_type1.c follow_fault_pfn() -> follow_pfnmap_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 160931784281886720 |
| PARAM_VALUE | 0 | args->addr_mask | 18446744072635809792,18446744073707454464,18446744073709547520 |
| PARAM_VALUE | 0 | args->address | 0 |
| PARAM_VALUE | 0 | args->lock | 4096-ptr_max |
| PARAM_VALUE | 0 | args->pfn | 0-1099511889918 |
| PARAM_VALUE | 0 | args->ptep | 0,4096-ptr_max |
| PARAM_VALUE | 0 | args->special | 0 |
| PARAM_VALUE | 0 | args->vma | 4096-ptr_max |
| PARAM_VALUE | 0 | args->writable | 0 |
| NOCHECK_CALL | |||
| LOCK2 | &args.lock | ||
| LOCK2 | &iommu->lock | ||
| LOCK2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &vgpu->cache_lock | ||
| TYPE_LOCK | (struct follow_pfnmap_args)->lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock | ||
| TYPE_LOCK | (struct vfio_iommu)->lock |
drivers/virt/acrn/mm.c acrn_vm_ram_map() -> follow_pfnmap_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 4773091259257602048 |
| PARAM_VALUE | 0 | args->addr_mask | 18446744072635809792,18446744073707454464,18446744073709547520 |
| PARAM_VALUE | 0 | args->address | 0-8796093018112 |
| PARAM_VALUE | 0 | args->lock | 4096-ptr_max |
| PARAM_VALUE | 0 | args->pfn | 0-1099511889918 |
| PARAM_VALUE | 0 | args->ptep | 0,4096-ptr_max |
| PARAM_VALUE | 0 | args->special | 0 |
| PARAM_VALUE | 0 | args->vma | 4096-ptr_max |
| PARAM_VALUE | 0 | args->writable | 0 |
| NOSPEC | 0 | args->address | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | args->address | 0-8796093018112[c] |
| USER_DATA | 0 | args->pfn | 0-1099511889918[c] |
| LOCK2 | &args.lock | ||
| TYPE_LOCK | (struct follow_pfnmap_args)->lock |
arch/x86/kvm/../../../virt/kvm/kvm_main.c hva_to_pfn_remapped() -> follow_pfnmap_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | args | 7587615763328888832 |
| PARAM_VALUE | 0 | args->addr_mask | 18446744072635809792,18446744073707454464,18446744073709547520 |
| PARAM_VALUE | 0 | args->address | 0 |
| PARAM_VALUE | 0 | args->lock | 4096-ptr_max |
| PARAM_VALUE | 0 | args->pfn | 0-1099511889918 |
| PARAM_VALUE | 0 | args->ptep | 0,4096-ptr_max |
| PARAM_VALUE | 0 | args->special | 0 |
| PARAM_VALUE | 0 | args->vma | 4096-ptr_max |
| PARAM_VALUE | 0 | args->writable | 0 |
| NOSPEC | 0 | args->address | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | args->address | 0[c] |
| USER_DATA | 0 | args->pfn | 0-1099511889918[c] |
| LOCK2 | &args.lock | ||
| HALF_LOCKED2 | _T->lock | ||
| TYPE_LOCK | (struct follow_pfnmap_args)->lock |