Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/svm/nested.c nested_copy_vmcb_save_to_cache() -> __nested_copy_vmcb_save_to_cache()

Type Parameter Key Value
PARAM_VALUE 0 to 4096-ptr_max
PARAM_VALUE 1 from 4096-ptr_max
DATA_SOURCE 1 from $1
NOCHECK_CALL

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

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