Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
arch/x86/kvm/svm/sev.c sev_es_init_vmcb() -> svm_clr_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->msrpm | 0,18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | svm->nested.vmcb02.ptr->control.clean | 0,2-u32max |
| PARAM_VALUE | 0 | svm->sev_es.vmsa | 0,18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | svm->vmcb | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb->control.misc_ctl | 0,4-u64max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | svm->vmcb01.ptr->control.clean | 0,2-u32max |
| PARAM_VALUE | 0 | *svm->nested.vmcb02.ptr->control.intercepts | 0-4294967295 |
| PARAM_VALUE | 1 | bit | 0 |
| DATA_SOURCE | 0 | svm | $0 |
| BIT_INFO | 0 | svm->vmcb->control.misc_ctl | 0x6,0xffffffffffffffff |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dst_kvm->lock | ||
| HALF_LOCKED2 | &src_kvm->lock |
arch/x86/kvm/svm/sev.c sev_es_init_vmcb() -> svm_clr_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| 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.vmcb02.ptr->control.clean | 0,2-u32max |
| PARAM_VALUE | 0 | svm->sev_es.vmsa | 0,18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | svm->vmcb | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb->control.misc_ctl | 0,4-u64max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | svm->vmcb01.ptr->control.clean | 0,2-u32max |
| PARAM_VALUE | 0 | *svm->nested.vmcb02.ptr->control.intercepts | 0-4294967295 |
| PARAM_VALUE | 1 | bit | 4 |
| DATA_SOURCE | 0 | svm | $0 |
| BIT_INFO | 0 | svm->vmcb->control.misc_ctl | 0x6,0xffffffffffffffff |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dst_kvm->lock | ||
| HALF_LOCKED2 | &src_kvm->lock |
arch/x86/kvm/svm/sev.c sev_es_init_vmcb() -> svm_clr_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| 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.vmcb02.ptr->control.clean | 0,2-u32max |
| PARAM_VALUE | 0 | svm->sev_es.vmsa | 0,18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | svm->vmcb | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb->control.misc_ctl | 0,4-u64max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | svm->vmcb01.ptr->control.clean | 0,2-u32max |
| PARAM_VALUE | 0 | *svm->nested.vmcb02.ptr->control.intercepts | 0-4294967295 |
| PARAM_VALUE | 1 | bit | 8 |
| DATA_SOURCE | 0 | svm | $0 |
| BIT_INFO | 0 | svm->vmcb->control.misc_ctl | 0x6,0xffffffffffffffff |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dst_kvm->lock | ||
| HALF_LOCKED2 | &src_kvm->lock |
arch/x86/kvm/svm/sev.c sev_es_init_vmcb() -> svm_clr_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| 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.vmcb02.ptr->control.clean | 0,2-u32max |
| PARAM_VALUE | 0 | svm->sev_es.vmsa | 0,18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | svm->vmcb | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb->control.misc_ctl | 0,4-u64max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | svm->vmcb01.ptr->control.clean | 0,2-u32max |
| PARAM_VALUE | 0 | *svm->nested.vmcb02.ptr->control.intercepts | 0-4294967295 |
| PARAM_VALUE | 1 | bit | 16 |
| DATA_SOURCE | 0 | svm | $0 |
| BIT_INFO | 0 | svm->vmcb->control.misc_ctl | 0x6,0xffffffffffffffff |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dst_kvm->lock | ||
| HALF_LOCKED2 | &src_kvm->lock |
arch/x86/kvm/svm/sev.c sev_es_init_vmcb() -> svm_clr_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| 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.vmcb02.ptr->control.clean | 0,2-u32max |
| PARAM_VALUE | 0 | svm->sev_es.vmsa | 0,18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | svm->vmcb | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb->control.misc_ctl | 0,4-u64max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | svm->vmcb01.ptr->control.clean | 0,2-u32max |
| PARAM_VALUE | 0 | *svm->nested.vmcb02.ptr->control.intercepts | 0-4294967295 |
| PARAM_VALUE | 1 | bit | 20 |
| DATA_SOURCE | 0 | svm | $0 |
| BIT_INFO | 0 | svm->vmcb->control.misc_ctl | 0x6,0xffffffffffffffff |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dst_kvm->lock | ||
| HALF_LOCKED2 | &src_kvm->lock |
arch/x86/kvm/svm/sev.c sev_es_init_vmcb() -> svm_clr_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| 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.vmcb02.ptr->control.clean | 0,2-u32max |
| PARAM_VALUE | 0 | svm->sev_es.vmsa | 0,18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | svm->vmcb | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb->control.misc_ctl | 0,4-u64max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | svm->vmcb01.ptr->control.clean | 0,2-u32max |
| PARAM_VALUE | 0 | *svm->nested.vmcb02.ptr->control.intercepts | 0-4294967295 |
| PARAM_VALUE | 1 | bit | 24 |
| DATA_SOURCE | 0 | svm | $0 |
| BIT_INFO | 0 | svm->vmcb->control.misc_ctl | 0x6,0xffffffffffffffff |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dst_kvm->lock | ||
| HALF_LOCKED2 | &src_kvm->lock |
arch/x86/kvm/svm/sev.c sev_es_init_vmcb() -> svm_clr_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| 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.vmcb02.ptr->control.clean | 0,2-u32max |
| PARAM_VALUE | 0 | svm->sev_es.vmsa | 0,18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | svm->vmcb | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb->control.misc_ctl | 0,4-u64max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | svm->vmcb01.ptr->control.clean | 0,2-u32max |
| PARAM_VALUE | 0 | *svm->nested.vmcb02.ptr->control.intercepts | 0-4294967295 |
| PARAM_VALUE | 1 | bit | 101 |
| DATA_SOURCE | 0 | svm | $0 |
| BIT_INFO | 0 | svm->vmcb->control.misc_ctl | 0x6,0xffffffffffffffff |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dst_kvm->lock | ||
| HALF_LOCKED2 | &src_kvm->lock |
arch/x86/kvm/svm/sev.c sev_es_init_vmcb() -> svm_clr_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| 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.vmcb02.ptr->control.clean | 0,2-u32max |
| PARAM_VALUE | 0 | svm->sev_es.vmsa | 0,18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | svm->vmcb | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb->control.misc_ctl | 0,4-u64max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | svm->vmcb01.ptr->control.intercepts | 4096-ptr_max |
| PARAM_VALUE | 0 | *svm->nested.vmcb02.ptr->control.intercepts | 0-4294967295 |
| PARAM_VALUE | 1 | bit | 141 |
| CAPPED_DATA | 0 | svm->vmcb | 1 |
| DATA_SOURCE | 0 | svm | $0 |
| BIT_INFO | 0 | svm->vmcb->control.misc_ctl | 0x6,0xffffffffffffffff |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dst_kvm->lock | ||
| HALF_LOCKED2 | &src_kvm->lock |
arch/x86/kvm/svm/svm.c init_vmcb() -> svm_clr_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| 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.vmcb02.ptr->control.clean | 0,2-u32max |
| 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 | bit | 121 |
| CAPPED_DATA | 0 | svm->msrpm | 1 |
| CAPPED_DATA | 0 | svm->nested.vmcb02.ptr | 1 |
| DATA_SOURCE | 0 | svm | r to_svm |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c init_vmcb() -> svm_clr_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| 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.vmcb02.ptr->control.clean | 0,2-u32max |
| 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 | bit | 3 |
| CAPPED_DATA | 0 | svm->msrpm | 1 |
| CAPPED_DATA | 0 | svm->nested.vmcb02.ptr | 1 |
| DATA_SOURCE | 0 | svm | r to_svm |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c init_vmcb() -> svm_clr_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| 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.vmcb02.ptr->control.clean | 0,2-u32max |
| 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 | bit | 19 |
| CAPPED_DATA | 0 | svm->msrpm | 1 |
| CAPPED_DATA | 0 | svm->nested.vmcb02.ptr | 1 |
| DATA_SOURCE | 0 | svm | r to_svm |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c init_vmcb() -> svm_clr_intercept()
| 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 | bit | 119 |
| CAPPED_DATA | 0 | svm->msrpm | 1 |
| CAPPED_DATA | 0 | svm->nested.vmcb02.ptr | 1 |
| DATA_SOURCE | 0 | svm | r to_svm |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_clear_vintr() -> svm_clr_intercept()
| 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 |
| PARAM_VALUE | 1 | bit | 100 |
| DATA_SOURCE | 0 | svm | $0 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | svm->vcpu->arch.pdptrs | 0-u64max |
| USER_PTR | 0 | svm->vcpu.arch.pdptrs |
arch/x86/kvm/svm/svm.c svm_clr_iret_intercept() -> svm_clr_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr | 0,4096-ptr_max |
| PARAM_VALUE | 1 | bit | 116 |
| DATA_SOURCE | 0 | svm | $0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_instruction_intercepts() -> svm_clr_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 162 |
| DATA_SOURCE | 0 | svm | r to_svm |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_instruction_intercepts() -> svm_clr_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *svm->nested.vmcb02.ptr->control.intercepts | 0-4294967295 |
| PARAM_VALUE | 1 | bit | 135 |
| DATA_SOURCE | 0 | svm | r to_svm |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_instruction_intercepts() -> svm_clr_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *svm->nested.vmcb02.ptr->control.intercepts | 0-4294967295 |
| PARAM_VALUE | 1 | bit | 130 |
| DATA_SOURCE | 0 | svm | r to_svm |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_instruction_intercepts() -> svm_clr_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->nested.vmcb02.ptr->control.clean | 0,2-u32max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr->control.clean | 0,2-u32max |
| PARAM_VALUE | 0 | *svm->nested.vmcb02.ptr->control.intercepts | 0-4294967295 |
| PARAM_VALUE | 1 | bit | 131 |
| CAPPED_DATA | 0 | svm->nested.vmcb02.ptr | 1 |
| DATA_SOURCE | 0 | svm | r to_svm |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_instruction_intercepts() -> svm_clr_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *svm->nested.vmcb02.ptr->control.intercepts | 0-4294967295 |
| PARAM_VALUE | 1 | bit | 133 |
| DATA_SOURCE | 0 | svm | r to_svm |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_instruction_intercepts() -> svm_clr_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->nested.vmcb02.ptr->control.clean | 0,2-u32max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr->control.clean | 0,2-u32max |
| PARAM_VALUE | 0 | *svm->nested.vmcb02.ptr->control.intercepts | 0-4294967295 |
| PARAM_VALUE | 1 | bit | 132 |
| CAPPED_DATA | 0 | svm->nested.vmcb02.ptr | 1 |
| DATA_SOURCE | 0 | svm | r to_svm |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_recalc_instruction_intercepts() -> svm_clr_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *svm->nested.vmcb02.ptr->control.intercepts | 0-4294967295 |
| PARAM_VALUE | 1 | bit | 111 |
| DATA_SOURCE | 0 | svm | r to_svm |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_set_cr0() -> svm_clr_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 0 |
| DATA_SOURCE | 0 | svm | r to_svm |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_set_cr0() -> svm_clr_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->nested.vmcb02.ptr->control.clean | 0,2-u32max |
| PARAM_VALUE | 0 | svm->vmcb | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr->control.clean | 0,2-u32max |
| PARAM_VALUE | 0 | *svm->nested.vmcb02.ptr->control.intercepts | 0-4294967295 |
| PARAM_VALUE | 1 | bit | 16 |
| CAPPED_DATA | 0 | svm->nested.vmcb02.ptr | 1 |
| DATA_SOURCE | 0 | svm | r to_svm |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_set_gif() -> svm_clr_intercept()
| 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 |
| PARAM_VALUE | 1 | bit | 132 |
| DATA_SOURCE | 0 | svm | $0 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | svm->vcpu->arch.pdptrs | 0-u64max |
| USER_PTR | 0 | svm->vcpu.arch.pdptrs |
arch/x86/kvm/svm/svm.c svm_update_cr8_intercept() -> svm_clr_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 24 |
| DATA_SOURCE | 0 | svm | r to_svm |
| NOCHECK_CALL |
arch/x86/kvm/svm/avic.c avic_activate_vmcb() -> svm_clr_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->msrpm | 0,18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | svm->vcpu.kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | svm->vmcb01.ptr->control.int_ctl | 2147483648-3221225471 |
| PARAM_VALUE | 0 | *svm->nested.vmcb02.ptr->control.intercepts | 0-4294967295 |
| PARAM_VALUE | 1 | bit | 24 |
| DATA_SOURCE | 0 | svm | $0 |
| NOCHECK_CALL |