Open Menu /

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/svm.c init_vmcb() -> avic_init_vmcb()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->asid 0
PARAM_VALUE 0 svm->current_vmcb 4096-ptr_max
PARAM_VALUE 0 svm->current_vmcb->asid_generation 0
PARAM_VALUE 0 svm->msrpm 0,18379471554275704832,18446612682070032384
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.last_vmcb12_gpa u64max
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->nested.vmcb12_gpa u64max
PARAM_VALUE 0 svm->vmcb01.ptr 18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0,2-u32max
PARAM_VALUE 0 svm->vmcb01.ptr->save.ds.attrib 146
PARAM_VALUE 0 svm->vmcb01.ptr->save.ds.base 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.ds.limit u16max
PARAM_VALUE 0 svm->vmcb01.ptr->save.ds.selector 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.es.attrib 146
PARAM_VALUE 0 svm->vmcb01.ptr->save.es.base 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.es.limit u16max
PARAM_VALUE 0 svm->vmcb01.ptr->save.es.selector 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.fs.attrib 146
PARAM_VALUE 0 svm->vmcb01.ptr->save.fs.base 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.fs.limit u16max
PARAM_VALUE 0 svm->vmcb01.ptr->save.fs.selector 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.gs.attrib 146
PARAM_VALUE 0 svm->vmcb01.ptr->save.gs.base 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.gs.limit u16max
PARAM_VALUE 0 svm->vmcb01.ptr->save.gs.selector 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.ldtr.attrib 130
PARAM_VALUE 0 svm->vmcb01.ptr->save.ldtr.base 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.ldtr.limit u16max
PARAM_VALUE 0 svm->vmcb01.ptr->save.ldtr.selector 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.ss.attrib 146
PARAM_VALUE 0 svm->vmcb01.ptr->save.ss.base 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.ss.limit u16max
PARAM_VALUE 0 svm->vmcb01.ptr->save.ss.selector 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.tr.attrib 131
PARAM_VALUE 0 svm->vmcb01.ptr->save.tr.base 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.tr.limit u16max
PARAM_VALUE 0 svm->vmcb01.ptr->save.tr.selector 0
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 vmcb 18379471554275704832,18446612682070032384
PARAM_VALUE 1 vmcb->control.int_ctl 16777216
PARAM_VALUE 1 vmcb->save.cs.attrib 154
PARAM_VALUE 1 vmcb->save.cs.base 4294901760
PARAM_VALUE 1 vmcb->save.cs.limit u16max
PARAM_VALUE 1 vmcb->save.cs.selector 61440
PARAM_VALUE 1 vmcb->save.ds.attrib 146
PARAM_VALUE 1 vmcb->save.ds.base 0
PARAM_VALUE 1 vmcb->save.ds.limit u16max
PARAM_VALUE 1 vmcb->save.ds.selector 0
PARAM_VALUE 1 vmcb->save.es.attrib 146
PARAM_VALUE 1 vmcb->save.es.base 0
PARAM_VALUE 1 vmcb->save.es.limit u16max
PARAM_VALUE 1 vmcb->save.es.selector 0
PARAM_VALUE 1 vmcb->save.fs.attrib 146
PARAM_VALUE 1 vmcb->save.fs.base 0
PARAM_VALUE 1 vmcb->save.fs.limit u16max
PARAM_VALUE 1 vmcb->save.fs.selector 0
PARAM_VALUE 1 vmcb->save.gdtr.base 0
PARAM_VALUE 1 vmcb->save.gdtr.limit u16max
PARAM_VALUE 1 vmcb->save.gs.attrib 146
PARAM_VALUE 1 vmcb->save.gs.base 0
PARAM_VALUE 1 vmcb->save.gs.limit u16max
PARAM_VALUE 1 vmcb->save.gs.selector 0
PARAM_VALUE 1 vmcb->save.idtr.base 0
PARAM_VALUE 1 vmcb->save.idtr.limit u16max
PARAM_VALUE 1 vmcb->save.ldtr.attrib 130
PARAM_VALUE 1 vmcb->save.ldtr.base 0
PARAM_VALUE 1 vmcb->save.ldtr.limit u16max
PARAM_VALUE 1 vmcb->save.ldtr.selector 0
PARAM_VALUE 1 vmcb->save.ss.attrib 146
PARAM_VALUE 1 vmcb->save.ss.base 0
PARAM_VALUE 1 vmcb->save.ss.limit u16max
PARAM_VALUE 1 vmcb->save.ss.selector 0
PARAM_VALUE 1 vmcb->save.tr.attrib 131
PARAM_VALUE 1 vmcb->save.tr.base 0
PARAM_VALUE 1 vmcb->save.tr.limit u16max
PARAM_VALUE 1 vmcb->save.tr.selector 0
CAPPED_DATA 0 svm->msrpm 1
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL