Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kvm/svm/svm.c get_vgif_vmcb() -> nested_vgif_enabled()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->current_vmcb->ptr 0,4096-ptr_max
PARAM_VALUE 0 svm->msrpm 0,4096-ptr_max
PARAM_VALUE 0 svm->nested.ctl.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.iopm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.msrpm_base_pa 0,4096-u64max
PARAM_VALUE 0 svm->nested.ctl.tlb_ctl 0-7
PARAM_VALUE 0 svm->nested.msrpm 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->nested.vmcb02.ptr 0,4096-ptr_max
PARAM_VALUE 0 svm->sev_es.vmsa 0,4096-ptr_max
PARAM_VALUE 0 svm->tsc_ratio_msr 0-1
PARAM_VALUE 0 svm->vcpu.run->hypercall.ret 0-s32max,18446744071562067968-u64max
PARAM_VALUE 0 svm->vmcb01.ptr 0,4096-ptr_max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
DATA_SOURCE 0 svm $0
USER_DATA 0 svm->vcpu->arch.pdptrs 0-u64max
USER_PTR 0 svm->vcpu.arch.pdptrs

arch/x86/kvm/svm/nested.c get_vgif_vmcb() -> nested_vgif_enabled()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
DATA_SOURCE 0 svm $0

arch/x86/kvm/svm/nested.c nested_sync_control_from_vmcb02() -> nested_vgif_enabled()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->msrpm 0,4096-ptr_max
PARAM_VALUE 0 svm->nested.msrpm 0,4096-ptr_max
PARAM_VALUE 0 svm->next_rip 0
PARAM_VALUE 0 svm->vmcb 4096-ptr_max
DATA_SOURCE 0 svm $0