Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/svm/sev.c snp_begin_psc() -> snp_complete_psc()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->sev_es.ghcb 4096-ptr_max
PARAM_VALUE 0 svm->sev_es.ghcb->ghcb_usage 0
PARAM_VALUE 0 svm->sev_es.ghcb->save.sw_exit_info_1 0
PARAM_VALUE 0 svm->sev_es.ghcb->save.sw_exit_info_2 0
PARAM_VALUE 0 svm->sev_es.ghcb_map.gfn 0-4503599627370495
PARAM_VALUE 0 svm->sev_es.ghcb_map.hva 4096-ptr_max
PARAM_VALUE 0 svm->sev_es.ghcb_map.pinned_page 0
PARAM_VALUE 0 svm->sev_es.ghcb_registered_gpa 0,4096-18446744073709547520
PARAM_VALUE 0 svm->sev_es.ghcb_sa 16,4096-ptr_max
PARAM_VALUE 0 svm->sev_es.ghcb_sa_len 1-65536
PARAM_VALUE 0 svm->sev_es.sw_scratch 1-u64max
PARAM_VALUE 0 svm->vcpu.arch.cpuid_dynamic_bits_dirty 1
PARAM_VALUE 0 svm->vcpu.kvm 4096-ptr_max
PARAM_VALUE 0 svm->vmcb 4096-ptr_max
PARAM_VALUE 0 svm->vmcb->control.exit_code 2147483664,2147483667
PARAM_VALUE 0 *svm->sev_es.ghcb->save.valid_bitmap 0-255
PARAM_VALUE 1 psc_ret 1099511627776
CAPPED_DATA 0 svm->sev_es.sw_scratch 1
DATA_SOURCE 0 svm $0
MEM_ZERO 0 svm->sev_es.ghcb->save.valid_bitmap
NOCHECK_CALL

arch/x86/kvm/svm/sev.c snp_begin_psc() -> snp_complete_psc()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->sev_es.ghcb 4096-ptr_max
PARAM_VALUE 0 svm->sev_es.ghcb->ghcb_usage 0
PARAM_VALUE 0 svm->sev_es.ghcb->save.sw_exit_info_1 0
PARAM_VALUE 0 svm->sev_es.ghcb->save.sw_exit_info_2 0
PARAM_VALUE 0 svm->sev_es.ghcb_map.gfn 0-4503599627370495
PARAM_VALUE 0 svm->sev_es.ghcb_map.hva 4096-ptr_max
PARAM_VALUE 0 svm->sev_es.ghcb_map.pinned_page 0
PARAM_VALUE 0 svm->sev_es.ghcb_registered_gpa 0,4096-18446744073709547520
PARAM_VALUE 0 svm->sev_es.ghcb_sa 16,4096-ptr_max
PARAM_VALUE 0 svm->sev_es.ghcb_sa_len 1-65536
PARAM_VALUE 0 svm->sev_es.sw_scratch 1-u64max
PARAM_VALUE 0 svm->vcpu.arch.cpuid_dynamic_bits_dirty 1
PARAM_VALUE 0 svm->vcpu.kvm 4096-ptr_max
PARAM_VALUE 0 svm->vmcb 4096-ptr_max
PARAM_VALUE 0 svm->vmcb->control.exit_code 2147483664,2147483667
PARAM_VALUE 0 *svm->sev_es.ghcb->save.valid_bitmap 0-255
PARAM_VALUE 1 psc_ret 1099511627776
CAPPED_DATA 0 svm->sev_es.sw_scratch 1
DATA_SOURCE 0 svm $0
MEM_ZERO 0 svm->sev_es.ghcb->save.valid_bitmap
NOCHECK_CALL

arch/x86/kvm/svm/sev.c snp_begin_psc() -> snp_complete_psc()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->sev_es.ghcb 4096-ptr_max
PARAM_VALUE 0 svm->sev_es.ghcb->ghcb_usage 0
PARAM_VALUE 0 svm->sev_es.ghcb->save.sw_exit_info_1 0
PARAM_VALUE 0 svm->sev_es.ghcb->save.sw_exit_info_2 0
PARAM_VALUE 0 svm->sev_es.ghcb_map.gfn 0-4503599627370495
PARAM_VALUE 0 svm->sev_es.ghcb_map.hva 4096-ptr_max
PARAM_VALUE 0 svm->sev_es.ghcb_map.pinned_page 0
PARAM_VALUE 0 svm->sev_es.ghcb_registered_gpa 0,4096-18446744073709547520
PARAM_VALUE 0 svm->sev_es.ghcb_sa 16,4096-ptr_max
PARAM_VALUE 0 svm->sev_es.ghcb_sa_len 1-65536
PARAM_VALUE 0 svm->sev_es.sw_scratch 1-u64max
PARAM_VALUE 0 svm->vcpu.arch.cpuid_dynamic_bits_dirty 1
PARAM_VALUE 0 svm->vcpu.kvm 4096-ptr_max
PARAM_VALUE 0 svm->vmcb 4096-ptr_max
PARAM_VALUE 0 svm->vmcb->control.exit_code 2147483664,2147483667
PARAM_VALUE 0 *svm->sev_es.ghcb->save.valid_bitmap 0-255
PARAM_VALUE 1 psc_ret 4294967297
CAPPED_DATA 0 svm->sev_es.sw_scratch 1
DATA_SOURCE 0 svm $0
MEM_ZERO 0 svm->sev_es.ghcb->save.valid_bitmap
NOCHECK_CALL

arch/x86/kvm/svm/sev.c snp_complete_one_psc() -> snp_complete_psc()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 1 psc_ret 1099511627776
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL
LOCK2 &vcpu->kvm->srcu
LOCK2 &vcpu->mutex
TYPE_LOCK (struct kvm)->srcu
TYPE_LOCK (struct kvm_vcpu)->mutex

arch/x86/kvm/svm/sev.c snp_do_psc() -> snp_complete_psc()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->sev_es.ghcb 4096-ptr_max
PARAM_VALUE 0 svm->sev_es.ghcb->ghcb_usage 0
PARAM_VALUE 0 svm->sev_es.ghcb->save.sw_exit_info_1 0
PARAM_VALUE 0 svm->sev_es.ghcb->save.sw_exit_info_2 0
PARAM_VALUE 0 svm->sev_es.ghcb_map.gfn 0-4503599627370495
PARAM_VALUE 0 svm->sev_es.ghcb_map.hva 4096-ptr_max
PARAM_VALUE 0 svm->sev_es.ghcb_map.pinned_page 0
PARAM_VALUE 0 svm->sev_es.ghcb_registered_gpa 0,4096-18446744073709547520
PARAM_VALUE 0 svm->sev_es.ghcb_sa 16,4096-ptr_max
PARAM_VALUE 0 svm->sev_es.ghcb_sa_len 1-65536
PARAM_VALUE 0 svm->sev_es.psc.batch_size 1-u16max
PARAM_VALUE 0 svm->sev_es.psc.end_idx 0-252
PARAM_VALUE 0 svm->sev_es.sw_scratch 1-u64max
PARAM_VALUE 0 svm->vcpu.arch.cpuid_dynamic_bits_dirty 1
PARAM_VALUE 0 svm->vcpu.kvm 4096-ptr_max
PARAM_VALUE 0 svm->vmcb 4096-ptr_max
PARAM_VALUE 0 svm->vmcb->control.exit_code 2147483664,2147483667
PARAM_VALUE 0 *svm->sev_es.ghcb->save.valid_bitmap 0-255
PARAM_VALUE 1 psc_ret 1099511627776
CAPPED_DATA 0 svm->sev_es.sw_scratch 1
DATA_SOURCE 0 svm $0
MEM_ZERO 0 svm->sev_es.ghcb->save.valid_bitmap
NOCHECK_CALL

arch/x86/kvm/svm/sev.c snp_do_psc() -> snp_complete_psc()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->sev_es.ghcb_registered_gpa 0,4096-18446744073709547520
PARAM_VALUE 0 svm->sev_es.ghcb_sa 16,4096-ptr_max
PARAM_VALUE 0 svm->sev_es.ghcb_sa_len 0-65536
PARAM_VALUE 0 svm->sev_es.psc.batch_size 0
PARAM_VALUE 1 psc_ret 4294967298
DATA_SOURCE 0 svm $0
NOCHECK_CALL
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/svm/sev.c snp_do_psc() -> snp_complete_psc()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->sev_es.ghcb_registered_gpa 0,4096-18446744073709547520
PARAM_VALUE 0 svm->sev_es.ghcb_sa 16,4096-ptr_max
PARAM_VALUE 0 svm->sev_es.ghcb_sa_len 0-65536
PARAM_VALUE 0 svm->sev_es.psc.batch_size 0
PARAM_VALUE 0 svm->sev_es.psc.end_idx 0-65534
PARAM_VALUE 1 psc_ret 0
DATA_SOURCE 0 svm $0
NOCHECK_CALL
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex