Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 5 files:

Smatch caller information:

arch/x86/kvm/svm/sev.c __sev_snp_reload_vmsa() -> kvm_gmem_get_pfn()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
PARAM_VALUE 1 slot 4096-ptr_max
PARAM_VALUE 2 gfn 0-4503599627370495
PARAM_VALUE 3 pfn 2060389651643678720
PARAM_VALUE 4 page 2549519238835200000
PARAM_VALUE 5 max_order 0
CAPPED_DATA 1 slot->base_gfn 1
CAPPED_DATA 2 gfn 1
CAPPED_DATA 2 gfn 1
DATA_SOURCE 1 slot r gfn_to_memslot
DATA_SOURCE 2 gfn r gpa_to_gfn
UNITS 0 kvm unit_byte
LOCK2 _T->lock

arch/x86/kvm/svm/sev.c sev_handle_rmp_fault() -> kvm_gmem_get_pfn()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
PARAM_VALUE 1 slot 4096-ptr_max
PARAM_VALUE 2 gfn 0-4503599627370495
PARAM_VALUE 3 pfn 87580311687110656
PARAM_VALUE 4 page 4040590410352185344
PARAM_VALUE 5 max_order 2836418418987147264
CAPPED_DATA 1 slot->base_gfn 1
CAPPED_DATA 2 gfn 1
CAPPED_DATA 2 gfn 1
DATA_SOURCE 1 slot r gfn_to_memslot
UNITS 0 kvm unit_byte
UNITS 2 gfn unit_page

arch/x86/kvm/mmu/mmu.c kvm_mmu_faultin_pfn_gmem() -> kvm_gmem_get_pfn()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
PARAM_VALUE 0 kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_advance_ns 0-5000
PARAM_VALUE 0 kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_mode_mask 0,131072,393216
PARAM_VALUE 0 kvm->arch.apicv_update_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 kvm->arch.apicv_update_lock.first_waiter->type 0-1
PARAM_VALUE 1 slot 4096-ptr_max
PARAM_VALUE 2 gfn 0-4503599627370495
PARAM_VALUE 3 pfn 7368748645416689712
PARAM_VALUE 3 *pfn 9218868437227405312
PARAM_VALUE 4 page 7368748645416689720
PARAM_VALUE 4 *page 0
PARAM_VALUE 5 max_order 2550043794579902464
CAPPED_DATA 2 gfn 1
CAPPED_DATA 2 gfn 1
NOSPEC 2 gfn
NOSPEC 2 gfn
USER_DATA 2 gfn 0-4503599627370495[c]
UNITS 0 kvm unit_byte
UNITS 2 gfn unit_page
HALF_LOCKED2 &vcpu->mutex
HALF_LOCKED2 0 &kvm->srcu