nested_vmcb02_prepare_control identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

arch/x86/kvm/svm/nested.c, line 852 (as a function)

Referenced in 1 files:

arch/x86/kvm/svm/nested.c
- line 1065
- line 2075

Smatch caller information:

arch/x86/kvm/svm/nested.c enter_svm_guest_mode() -> nested_vmcb02_prepare_control()

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.intercepts	4096-ptr_max
PARAM_VALUE	0	svm->nested.vmcb02.ptr	4096-ptr_max
PARAM_VALUE	0	svm->vmcb	4096-ptr_max
PARAM_VALUE	0	svm->vmcb01.ptr	4096-ptr_max
DATA_SOURCE	0	svm	r to_svm
NOCHECK_CALL

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

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->intercepts	0-u32max
PARAM_VALUE	0	svm->nested.ctl.int_state	0-1
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->vmcb	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
DATA_SOURCE	0	svm	r to_svm
NOCHECK_CALL
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->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