Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/svm/sev.c setup_vmgexit_scratch() -> svm_vmgexit_bad_input()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 1 suberror 3
DATA_SOURCE 0 svm $0
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->sev_es.ghcb 4096-ptr_max
PARAM_VALUE 1 suberror 1
CAPPED_DATA 0 svm->sev_es.ghcb_registered_gpa 1
DATA_SOURCE 0 svm r to_svm
MEM_ZERO 0 svm->sev_es.ghcb->save.valid_bitmap
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->sev_es.ghcb 4096-ptr_max
PARAM_VALUE 1 suberror 2
DATA_SOURCE 0 svm r to_svm
MEM_ZERO 0 svm->sev_es.ghcb->save.valid_bitmap
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->sev_es.ghcb 4096-ptr_max
PARAM_VALUE 1 suberror 6
DATA_SOURCE 0 svm r to_svm
MEM_ZERO 0 svm->sev_es.ghcb->save.valid_bitmap
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->sev_es.ghcb 4096-ptr_max
PARAM_VALUE 1 suberror 4
DATA_SOURCE 0 svm r to_svm
MEM_ZERO 0 svm->sev_es.ghcb->save.valid_bitmap
NOCHECK_CALL

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

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->save.sw_exit_info_1 0
PARAM_VALUE 1 suberror 5
DATA_SOURCE 0 svm r to_svm
MEM_ZERO 0 svm->sev_es.ghcb->save.valid_bitmap
NOCHECK_CALL

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

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->save.sw_exit_info_1 0
PARAM_VALUE 1 suberror 5
DATA_SOURCE 0 svm r to_svm
MEM_ZERO 0 svm->sev_es.ghcb->save.valid_bitmap
NOCHECK_CALL

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

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->save.sw_exit_info_1 0
PARAM_VALUE 1 suberror 5
DATA_SOURCE 0 svm r to_svm
MEM_ZERO 0 svm->sev_es.ghcb->save.valid_bitmap
NOCHECK_CALL

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

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->save.sw_exit_info_1 0
PARAM_VALUE 1 suberror 5
DATA_SOURCE 0 svm r to_svm
MEM_ZERO 0 svm->sev_es.ghcb->save.valid_bitmap
NOCHECK_CALL

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

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->save.sw_exit_info_1 0
PARAM_VALUE 1 suberror 6
DATA_SOURCE 0 svm r to_svm
MEM_ZERO 0 svm->sev_es.ghcb->save.valid_bitmap
NOCHECK_CALL

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

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->save.sw_exit_info_1 0
PARAM_VALUE 1 suberror 5
DATA_SOURCE 0 svm $0
MEM_ZERO 0 svm->sev_es.ghcb->save.valid_bitmap
NOCHECK_CALL