Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
arch/x86/kvm/svm/sev.c sev_es_init_vmcb() -> clr_exception_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->vmcb01.ptr->control.intercepts | 4096-ptr_max |
| PARAM_VALUE | 0 | *svm->nested.vmcb02.ptr->control.intercepts | 0-4294967295 |
| PARAM_VALUE | 1 | bit | 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/sev.c sev_init_vmcb() -> clr_exception_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->msrpm | 0,18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | svm->vmcb | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb->control.misc_ctl | 0,2-u64max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr | 0,18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | *svm->nested.vmcb02.ptr->control.intercepts | 0-4294967295 |
| PARAM_VALUE | 1 | bit | 6 |
| DATA_SOURCE | 0 | svm | $0 |
| BIT_INFO | 0 | svm->vmcb->control.misc_ctl | 0x2,0xffffffffffffffff |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dst_kvm->lock | ||
| HALF_LOCKED2 | &src_kvm->lock |
arch/x86/kvm/svm/sev.c sev_init_vmcb() -> clr_exception_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->vmcb | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb->control.misc_ctl | 0,2-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 | 13 |
| DATA_SOURCE | 0 | svm | $0 |
| BIT_INFO | 0 | svm->vmcb->control.misc_ctl | 0x2,0xffffffffffffffff |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dst_kvm->lock | ||
| HALF_LOCKED2 | &src_kvm->lock |
arch/x86/kvm/svm/svm.c init_vmcb() -> clr_exception_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 | 14 |
| 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_set_efer() -> clr_exception_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 13 |
| DATA_SOURCE | 0 | svm | r to_svm |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_update_exception_bitmap() -> clr_exception_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 3 |
| DATA_SOURCE | 0 | svm | r to_svm |
| NOCHECK_CALL |