Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

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