Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/svm/sev.c sev_handle_vmgexit() -> snp_handle_ext_guest_req()

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->vcpu.arch.cpuid_dynamic_bits_dirty 1
PARAM_VALUE 0 svm->vmcb 4096-ptr_max
PARAM_VALUE 0 svm->vmcb->control.exit_code 2147483666
PARAM_VALUE 0 *svm->sev_es.ghcb->save.valid_bitmap 0-255
DATA_SOURCE 0 svm r to_svm
PARAM_COMPARE 1 req_gpa != $2
PARAM_COMPARE 1 req_gpa != $2
PARAM_COMPARE 2 resp_gpa != $1
BIT_INFO 1 req_gpa 0x0,0xfffffffffffff000
BIT_INFO 1 req_gpa 0x0,0xfffffffffffff000
BIT_INFO 2 resp_gpa 0x0,0xfffffffffffff000
BIT_INFO 2 resp_gpa 0x0,0xfffffffffffff000
MEM_ZERO 0 svm->sev_es.ghcb->save.valid_bitmap
UNITS 1 req_gpa unit_byte
UNITS 2 resp_gpa unit_byte