Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/svm/nested.c nested_svm_check_cached_vmcb12() -> nested_vmcb_check_controls()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->last_used_slot_gen | 0-2,9223372034707292161-9223372036854775809,18446744071562067968-u64max |
| PARAM_VALUE | 1 | control | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | $0 |
| USER_DATA | 0 | *vcpu->arch.emulate_ctxt->fetch.end | 0-255 |
| USER_PTR | 0 | vcpu->arch.emulate_ctxt->fetch.end | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.intercept_message | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved2 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved3 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.reserved4 | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.virtualization_fault_information | |
| USER_PTR | 0 | vcpu->arch.hyperv->vp_assist_page.vtl_ret_actions |
arch/x86/kvm/svm/nested.c svm_set_nested_state() -> nested_vmcb_check_controls()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | control | 7162625244536516608 |
| PARAM_VALUE | 1 | control->int_state | 0-1 |
| PARAM_VALUE | 1 | control->int_vector | 0-255 |
| PARAM_VALUE | 1 | control->iopm_base_pa | 0,4096-u64max |
| PARAM_VALUE | 1 | control->msrpm_base_pa | 0,4096-u64max |
| PARAM_VALUE | 1 | control->tlb_ctl | 0-7 |
| DATA_SOURCE | 0 | vcpu | $0 |
| USER_DATA | 1 | control->asid | 0-u32max |
| USER_DATA | 1 | control->clean | 0-u32max |
| USER_DATA | 1 | control->erap_ctl | 0-255 |
| USER_DATA | 1 | control->event_inj | 0-u32max[c] |
| USER_DATA | 1 | control->event_inj_err | 0-u32max |
| USER_DATA | 1 | control->exit_code | 0-u64max |
| USER_DATA | 1 | control->exit_info_1 | 0-u64max |
| USER_DATA | 1 | control->exit_info_2 | 0-u64max |
| USER_DATA | 1 | control->exit_int_info | 0-u32max |
| USER_DATA | 1 | control->exit_int_info_err | 0-u32max |
| USER_DATA | 1 | control->hv_enlightenments.hv_vm_id | 0-u64max |
| USER_DATA | 1 | control->hv_enlightenments.hv_vp_id | 0-u32max |
| USER_DATA | 1 | control->hv_enlightenments.partition_assist_page | 0-u64max |
| USER_DATA | 1 | control->hv_enlightenments.reserved | 0-u64max |
| USER_DATA | 1 | control->int_ctl | 0-u32max |
| USER_DATA | 1 | control->int_state | 0-1[c] |
| USER_DATA | 1 | control->int_vector | 0-255[c] |
| USER_DATA | 1 | control->iopm_base_pa | 0,4096-u64max[c] |
| USER_DATA | 1 | control->misc_ctl | 0-u64max |
| USER_DATA | 1 | control->misc_ctl2 | 0-u64max |
| USER_DATA | 1 | control->msrpm_base_pa | 0,4096-u64max[c] |
| USER_DATA | 1 | control->nested_cr3 | 0-u64max |
| USER_DATA | 1 | control->next_rip | 0-u64max |
| USER_DATA | 1 | control->pause_filter_count | 0-u16max |
| USER_DATA | 1 | control->pause_filter_thresh | 0-u16max |
| USER_DATA | 1 | control->tlb_ctl | 0-7[c] |
| USER_DATA | 1 | control->tsc_offset | 0-u64max |