Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/svm/sev.c __sev_launch_update_vmsa() -> svm_enable_lbrv()

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
PARAM_VALUE 0 vcpu->arch.guest_fpu.fpstate 4096-ptr_max
PARAM_VALUE 0 vcpu->arch.guest_fpu.fpstate->is_confidential 1
PARAM_VALUE 0 vcpu->arch.guest_state_protected 1
PARAM_VALUE 0 vcpu->guest_debug 0
DATA_SOURCE 0 vcpu $1
NOCHECK_CALL
LOCK2 _T->lock

arch/x86/kvm/svm/sev.c snp_launch_update_vmsa() -> svm_enable_lbrv()

Type Parameter Key Value
PARAM_VALUE 0 vcpu 1-u64max
NOCHECK_CALL
LOCK2 _T->lock