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_enter_smm() -> svm_copy_vmrun_state()

Type Parameter Key Value
PARAM_VALUE 0 to_save 4096-ptr_max
PARAM_VALUE 1 from_save 4096-ptr_max
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 to_save 1024,18379471554275705856,18446612682070033408
PARAM_VALUE 1 from_save 4096-ptr_max
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 to_save 4096-ptr_max
PARAM_VALUE 1 from_save 4096-ptr_max
BUF_SIZE 1 from_save 744
DATA_SOURCE 1 from_save r memdup_user
BIT_INFO 1 from_save->cr0 0x80000001,0xffffffffffffffff
BIT_INFO 1 from_save->rflags 0x0,0xfffffffffffdffff
NOCHECK_CALL
USER_DATA 1 from_save->br_from 0-u64max
USER_DATA 1 from_save->br_to 0-u64max
USER_DATA 1 from_save->cpl 0-255
USER_DATA 1 from_save->cr0 0-u64max
USER_DATA 1 from_save->cr2 0-u64max
USER_DATA 1 from_save->cr3 0-u64max
USER_DATA 1 from_save->cr4 0-u64max
USER_DATA 1 from_save->cs.attrib 0-u16max
USER_DATA 1 from_save->cs.base 0-u64max
USER_DATA 1 from_save->cs.limit 0-u32max
USER_DATA 1 from_save->cs.selector 0-u16max
USER_DATA 1 from_save->cstar 0-u64max
USER_DATA 1 from_save->dbgctl 0-u64max
USER_DATA 1 from_save->dr6 0-u64max
USER_DATA 1 from_save->dr7 0-u64max
USER_DATA 1 from_save->ds.attrib 0-u16max
USER_DATA 1 from_save->ds.base 0-u64max
USER_DATA 1 from_save->ds.limit 0-u32max
USER_DATA 1 from_save->ds.selector 0-u16max
USER_DATA 1 from_save->efer 0-u64max
USER_DATA 1 from_save->es.attrib 0-u16max
USER_DATA 1 from_save->es.base 0-u64max
USER_DATA 1 from_save->es.limit 0-u32max
USER_DATA 1 from_save->es.selector 0-u16max
USER_DATA 1 from_save->fs.attrib 0-u16max
USER_DATA 1 from_save->fs.base 0-u64max
USER_DATA 1 from_save->fs.limit 0-u32max
USER_DATA 1 from_save->fs.selector 0-u16max
USER_DATA 1 from_save->g_pat 0-u64max
USER_DATA 1 from_save->gdtr.attrib 0-u16max
USER_DATA 1 from_save->gdtr.base 0-u64max
USER_DATA 1 from_save->gdtr.limit 0-u32max
USER_DATA 1 from_save->gdtr.selector 0-u16max
USER_DATA 1 from_save->gs.attrib 0-u16max
USER_DATA 1 from_save->gs.base 0-u64max
USER_DATA 1 from_save->gs.limit 0-u32max
USER_DATA 1 from_save->gs.selector 0-u16max
USER_DATA 1 from_save->idtr.attrib 0-u16max
USER_DATA 1 from_save->idtr.base 0-u64max
USER_DATA 1 from_save->idtr.limit 0-u32max
USER_DATA 1 from_save->idtr.selector 0-u16max
USER_DATA 1 from_save->isst_addr 0-u64max
USER_DATA 1 from_save->kernel_gs_base 0-u64max
USER_DATA 1 from_save->last_excp_from 0-u64max
USER_DATA 1 from_save->last_excp_to 0-u64max
USER_DATA 1 from_save->ldtr.attrib 0-u16max
USER_DATA 1 from_save->ldtr.base 0-u64max
USER_DATA 1 from_save->ldtr.limit 0-u32max
USER_DATA 1 from_save->ldtr.selector 0-u16max
USER_DATA 1 from_save->lstar 0-u64max
USER_DATA 1 from_save->rax 0-u64max
USER_DATA 1 from_save->rflags 0-u64max
USER_DATA 1 from_save->rip 0-u64max
USER_DATA 1 from_save->rsp 0-u64max
USER_DATA 1 from_save->s_cet 0-u64max
USER_DATA 1 from_save->sfmask 0-u64max
USER_DATA 1 from_save->spec_ctrl 0-u64max
USER_DATA 1 from_save->ss.attrib 0-u16max
USER_DATA 1 from_save->ss.base 0-u64max
USER_DATA 1 from_save->ss.limit 0-u32max
USER_DATA 1 from_save->ss.selector 0-u16max
USER_DATA 1 from_save->ssp 0-u64max
USER_DATA 1 from_save->star 0-u64max
USER_DATA 1 from_save->sysenter_cs 0-u64max
USER_DATA 1 from_save->sysenter_eip 0-u64max
USER_DATA 1 from_save->sysenter_esp 0-u64max
USER_DATA 1 from_save->tr.attrib 0-u16max
USER_DATA 1 from_save->tr.base 0-u64max
USER_DATA 1 from_save->tr.limit 0-u32max
USER_DATA 1 from_save->tr.selector 0-u16max
USER_DATA 1 from_save->vmpl 0-255
USER_DATA 1 *from_save s64min-s64max
USER_PTR 1 from_save
USER_PTR 1 from_save->reserved_0x180
USER_PTR 1 from_save->reserved_0x248
USER_PTR 1 from_save->reserved_0x298
USER_PTR 1 from_save->reserved_0xa0
USER_PTR 1 from_save->reserved_0xcc
USER_PTR 1 from_save->reserved_0xd8