Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kvm/svm/svm.c svm_leave_smm() -> nested_copy_vmcb_control_to_cache()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.initialized 1
PARAM_VALUE 0 svm->nested.msrpm 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->nested.vmcb02.ptr 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 svm->vmcb01.ptr 4096-ptr_max
PARAM_VALUE 0 svm->vmcb01.ptr->control.clean 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.cpl 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.dbgctl 0-1
PARAM_VALUE 0 svm->vmcb01.ptr->save.rflags 0,2-u64max
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/nested.c nested_svm_copy_vmcb12_to_cache() -> nested_copy_vmcb_control_to_cache()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
DATA_SOURCE 0 svm r to_svm
NOCHECK_CALL

arch/x86/kvm/svm/nested.c svm_set_nested_state() -> nested_copy_vmcb_control_to_cache()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
PARAM_VALUE 0 svm->nested.vmcb02.ptr 4096-ptr_max
PARAM_VALUE 0 svm->vmcb01.ptr 4096-ptr_max
PARAM_VALUE 0 svm->vmcb01.ptr->save.cpl 0
PARAM_VALUE 0 svm->vmcb01.ptr->save.dbgctl 0-1
PARAM_VALUE 0 svm->vmcb01.ptr->save.rflags 0,2-u64max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
PARAM_VALUE 1 control 4096-ptr_max
BUF_SIZE 1 control 1024
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
DATA_SOURCE 0 svm r to_svm
DATA_SOURCE 1 control r memdup_user
NOCHECK_CALL
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_DATA 1 control->allowed_sev_features 0-u64max
USER_DATA 1 control->asid 0-u32max
USER_DATA 1 control->avic_backing_page 0-u64max
USER_DATA 1 control->avic_logical_id 0-u64max
USER_DATA 1 control->avic_physical_id 0-u64max
USER_DATA 1 control->avic_vapic_bar 0-u64max
USER_DATA 1 control->bus_lock_counter 0-u16max
USER_DATA 1 control->clean 0-u32max
USER_DATA 1 control->erap_ctl 0-255
USER_DATA 1 control->event_inj 0-u32max
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->ghcb_gpa 0-u64max
USER_DATA 1 control->guest_sev_features 0-u64max
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->insn_len 0-255
USER_DATA 1 control->int_ctl 0-u32max
USER_DATA 1 control->int_state 0-u32max
USER_DATA 1 control->int_vector 0-u32max
USER_DATA 1 control->iopm_base_pa 0-u64max
USER_DATA 1 control->misc_ctl 0-u64max
USER_DATA 1 control->misc_ctl2 0-u64max
USER_DATA 1 control->msrpm_base_pa 0-u64max
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->reserved_5 0-u32max
USER_DATA 1 control->tlb_ctl 0-255
USER_DATA 1 control->tsc_offset 0-u64max
USER_DATA 1 control->vmsa_pa 0-u64max
USER_DATA 1 *control s64min-s64max
USER_PTR 1 control
USER_PTR 1 control->insn_bytes
USER_PTR 1 control->intercepts
USER_PTR 1 control->reserved_1
USER_PTR 1 control->reserved_10
USER_PTR 1 control->reserved_2
USER_PTR 1 control->reserved_3
USER_PTR 1 control->reserved_6
USER_PTR 1 control->reserved_7
USER_PTR 1 control->reserved_8
USER_PTR 1 control->reserved_9