Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/svm/sev.c sev_es_init_vmcb() -> set_ghcb_msr()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->vmcb 4096-ptr_max
CAPPED_DATA 0 svm->vmcb 1
DATA_SOURCE 0 svm $0
BIT_INFO 0 svm->vmcb->control.misc_ctl 0x6,0xffffffffffffffff
BIT_INFO 1 value 0x100000001,0xffff00013f000001
NOCHECK_CALL
HALF_LOCKED2 &dst_kvm->lock
HALF_LOCKED2 &src_kvm->lock

arch/x86/kvm/svm/sev.c sev_handle_vmgexit_msr_protocol() -> set_ghcb_msr()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
DATA_SOURCE 0 svm $0
BIT_INFO 1 value 0x100000001,0xffff00013f000001
NOCHECK_CALL

arch/x86/kvm/svm/sev.c snp_begin_psc_msr() -> set_ghcb_msr()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 1 value 9223372036854775829
DATA_SOURCE 0 svm $0
NOCHECK_CALL

arch/x86/kvm/svm/sev.c snp_begin_psc_msr() -> set_ghcb_msr()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 1 value 9223372036854775829
DATA_SOURCE 0 svm $0
NOCHECK_CALL

arch/x86/kvm/svm/sev.c snp_complete_psc_msr() -> set_ghcb_msr()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 1 value 9223372036854775829
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_complete_psc_msr() -> set_ghcb_msr()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 1 value 21
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