Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/../../../virt/kvm/guest_memfd.c __kvm_gmem_populate() -> kvm_gmem_get_index()

Type Parameter Key Value
PARAM_VALUE 0 slot 4096-ptr_max
CAPPED_DATA 0 slot 1
CAPPED_DATA 0 slot->base_gfn 1
CAPPED_DATA 0 slot->gmem.file 1
CAPPED_DATA 1 gfn 1
CAPPED_DATA 1 gfn 1
DATA_SOURCE 0 slot $1
DATA_SOURCE 1 gfn $3
UNITS 1 gfn unit_page
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 _T->lock

arch/x86/kvm/../../../virt/kvm/guest_memfd.c kvm_gmem_get_pfn() -> kvm_gmem_get_index()

Type Parameter Key Value
PARAM_VALUE 0 slot 4096-ptr_max
PARAM_VALUE 1 gfn 0-4503599627370495
CAPPED_DATA 1 gfn 1
CAPPED_DATA 1 gfn 1
DATA_SOURCE 0 slot $1
DATA_SOURCE 1 gfn $2
NOSPEC 1 gfn
NOSPEC 1 gfn
USER_DATA 1 gfn 0-4503599627370495[c]
UNITS 1 gfn unit_page
HALF_LOCKED2 _T->lock