Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/svm/nested.c nested_vmcb02_prepare_control() -> nested_vmcb_needs_vls_intercept()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | svm | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->current_vmcb | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->current_vmcb->ptr | 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.vmcb02.ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->nested.vmcb02.ptr->control.bus_lock_counter | 0-1 |
| PARAM_VALUE | 0 | svm->nested.vmcb02.ptr->control.int_ctl | 0-134217727 |
| PARAM_VALUE | 0 | svm->nested.vmcb02.ptr->control.int_vector | 0-255 |
| PARAM_VALUE | 0 | svm->nested.vmcb02.ptr->control.misc_ctl | 0-9 |
| PARAM_VALUE | 0 | svm->nested.vmcb02.ptr->control.tlb_ctl | 0 |
| PARAM_VALUE | 0 | svm->vcpu.stat.guest_mode | 1 |
| PARAM_VALUE | 0 | svm->vmcb | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | *svm->nested.vmcb02.ptr->control.intercepts | 0-4294967295 |
| DATA_SOURCE | 0 | svm | $0 |
| FUZZY_MAX | 0 | svm->nested.vmcb02.ptr->control.bus_lock_counter | 1 |
| HARD_MAX | 0 | svm->nested.vmcb02.ptr->control.bus_lock_counter | 1 |
| USER_DATA | 0 | svm->nested.ctl.asid | 0-u32max |
| USER_DATA | 0 | svm->nested.ctl.clean | 0-u32max |
| USER_DATA | 0 | svm->nested.ctl.erap_ctl | 0-255 |
| USER_DATA | 0 | svm->nested.ctl.event_inj | 0-u32max[c] |
| USER_DATA | 0 | svm->nested.ctl.event_inj_err | 0-u32max |
| USER_DATA | 0 | svm->nested.ctl.exit_code | 0-u64max |
| USER_DATA | 0 | svm->nested.ctl.exit_info_1 | 0-u64max |
| USER_DATA | 0 | svm->nested.ctl.exit_info_2 | 0-u64max |
| USER_DATA | 0 | svm->nested.ctl.exit_int_info | 0-u32max |
| USER_DATA | 0 | svm->nested.ctl.exit_int_info_err | 0-u32max |
| USER_DATA | 0 | svm->nested.ctl.int_ctl | 0-u32max |
| USER_DATA | 0 | svm->nested.ctl.int_state | 0-1[c] |
| USER_DATA | 0 | svm->nested.ctl.int_vector | 0-255[c] |
| USER_DATA | 0 | svm->nested.ctl.iopm_base_pa | 0,4096-u64max[c] |
| USER_DATA | 0 | svm->nested.ctl.misc_ctl | 0-u64max |
| USER_DATA | 0 | svm->nested.ctl.misc_ctl2 | 0-u64max |
| USER_DATA | 0 | svm->nested.ctl.msrpm_base_pa | 0,4096-u64max[c] |
| USER_DATA | 0 | svm->nested.ctl.nested_cr3 | 0-u64max |
| USER_DATA | 0 | svm->nested.ctl.next_rip | 0-u64max |
| USER_DATA | 0 | svm->nested.ctl.pause_filter_count | 0-u16max |
| USER_DATA | 0 | svm->nested.ctl.pause_filter_thresh | 0-u16max |
| USER_DATA | 0 | svm->nested.ctl.tlb_ctl | 0-7[c] |
| USER_DATA | 0 | svm->nested.ctl.tsc_offset | 0-u64max |
| USER_DATA | 0 | svm->nmi_l1_to_l2 | 0[c] |
| USER_DATA | 0 | svm->soft_int_next_rip | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.br_from | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.br_to | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.cr0 | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.cr3 | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.cr4 | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.cs.attrib | 0-u16max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.cs.base | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.cs.limit | 0-u32max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.cs.selector | 0-u16max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.dbgctl | 0-1[c] |
| USER_DATA | 0 | svm->vmcb01.ptr->save.ds.attrib | 0-u16max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.ds.base | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.ds.limit | 0-u32max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.ds.selector | 0-u16max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.efer | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.es.attrib | 0-u16max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.es.base | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.es.limit | 0-u32max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.es.selector | 0-u16max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.gdtr.attrib | 0-u16max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.gdtr.base | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.gdtr.limit | 0-u32max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.gdtr.selector | 0-u16max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.idtr.attrib | 0-u16max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.idtr.base | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.idtr.limit | 0-u32max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.idtr.selector | 0-u16max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.isst_addr | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.last_excp_from | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.last_excp_to | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.rax | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.rflags | 0,2-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.rip | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.rsp | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.s_cet | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.ss.attrib | 0-u16max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.ss.base | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.ss.limit | 0-u32max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.ss.selector | 0-u16max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.ssp | 0-u64max |
arch/x86/kvm/svm/nested.c nested_vmcb02_recalc_intercepts() -> nested_vmcb_needs_vls_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.intercepts | 4096-ptr_max |
| 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 | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->nested.vmcb02.ptr->control.clean | 0,2-u32max |
| PARAM_VALUE | 0 | svm->nested.vmcb02.ptr->control.intercepts | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->sev_es.vmsa | 0,18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | svm->tsc_ratio_msr | 0-1 |
| PARAM_VALUE | 0 | svm->vmcb | 0,4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | svm->vmcb01.ptr->control.intercepts | 4096-ptr_max |
| PARAM_VALUE | 0 | *svm->nested.vmcb02.ptr->control.intercepts | 0-4294967295 |
| CAPPED_DATA | 0 | svm->vmcb | 1 |
| DATA_SOURCE | 0 | svm | $0 |
| USER_DATA | 0 | svm->nested.ctl.asid | 0-u32max |
| USER_DATA | 0 | svm->nested.ctl.clean | 0-u32max |
| USER_DATA | 0 | svm->nested.ctl.erap_ctl | 0-255 |
| USER_DATA | 0 | svm->nested.ctl.event_inj | 0-u32max[c] |
| USER_DATA | 0 | svm->nested.ctl.event_inj_err | 0-u32max |
| USER_DATA | 0 | svm->nested.ctl.exit_code | 0-u64max |
| USER_DATA | 0 | svm->nested.ctl.exit_info_1 | 0-u64max |
| USER_DATA | 0 | svm->nested.ctl.exit_info_2 | 0-u64max |
| USER_DATA | 0 | svm->nested.ctl.exit_int_info | 0-u32max |
| USER_DATA | 0 | svm->nested.ctl.exit_int_info_err | 0-u32max |
| USER_DATA | 0 | svm->nested.ctl.int_ctl | 0-u32max |
| USER_DATA | 0 | svm->nested.ctl.int_state | 0-1[c] |
| USER_DATA | 0 | svm->nested.ctl.int_vector | 0-255[c] |
| USER_DATA | 0 | svm->nested.ctl.iopm_base_pa | 0,4096-u64max[c] |
| USER_DATA | 0 | svm->nested.ctl.misc_ctl | 0-u64max |
| USER_DATA | 0 | svm->nested.ctl.misc_ctl2 | 0-u64max |
| USER_DATA | 0 | svm->nested.ctl.msrpm_base_pa | 0,4096-u64max[c] |
| USER_DATA | 0 | svm->nested.ctl.nested_cr3 | 0-u64max |
| USER_DATA | 0 | svm->nested.ctl.next_rip | 0-u64max |
| USER_DATA | 0 | svm->nested.ctl.pause_filter_count | 0-u16max |
| USER_DATA | 0 | svm->nested.ctl.pause_filter_thresh | 0-u16max |
| USER_DATA | 0 | svm->nested.ctl.tlb_ctl | 0-7[c] |
| USER_DATA | 0 | svm->nested.ctl.tsc_offset | 0-u64max |
| USER_DATA | 0 | svm->nmi_l1_to_l2 | 0[c] |
| USER_DATA | 0 | svm->soft_int_next_rip | 0-u64max |
| USER_DATA | 0 | svm->vcpu->arch.pdptrs | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.br_from | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.br_to | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.cr0 | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.cr3 | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.cr4 | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.cs.attrib | 0-u16max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.cs.base | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.cs.limit | 0-u32max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.cs.selector | 0-u16max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.dbgctl | 0-1[c] |
| USER_DATA | 0 | svm->vmcb01.ptr->save.ds.attrib | 0-u16max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.ds.base | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.ds.limit | 0-u32max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.ds.selector | 0-u16max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.efer | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.es.attrib | 0-u16max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.es.base | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.es.limit | 0-u32max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.es.selector | 0-u16max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.gdtr.attrib | 0-u16max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.gdtr.base | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.gdtr.limit | 0-u32max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.gdtr.selector | 0-u16max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.idtr.attrib | 0-u16max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.idtr.base | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.idtr.limit | 0-u32max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.idtr.selector | 0-u16max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.isst_addr | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.last_excp_from | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.last_excp_to | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.rax | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.rflags | 0,2-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.rip | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.rsp | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.s_cet | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.ss.attrib | 0-u16max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.ss.base | 0-u64max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.ss.limit | 0-u32max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.ss.selector | 0-u16max |
| USER_DATA | 0 | svm->vmcb01.ptr->save.ssp | 0-u64max |
| USER_PTR | 0 | svm->vcpu.arch.pdptrs |