Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/svm/svm.c disable_gif() -> get_vgif_vmcb()
| 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->tsc_ratio_msr | 0-1 |
| 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/svm.c enable_gif() -> get_vgif_vmcb()
| 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->vmcb01.ptr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *svm->nested.vmcb02.ptr->control.intercepts | 0-4294967295 |
| CAPPED_DATA | 0 | svm->msrpm | 1 |
| 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/svm.c gif_set() -> get_vgif_vmcb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr | 0,4096-ptr_max |
| DATA_SOURCE | 0 | svm | $0 |
arch/x86/kvm/svm/nested.c gif_set() -> get_vgif_vmcb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| DATA_SOURCE | 0 | svm | $0 |