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_save()
| 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 | save | 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_save()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 1 | save | 3266534208646672384 |
| PARAM_VALUE | 2 | check_gpat | 0 |
| DATA_SOURCE | 0 | vcpu | $0 |
| USER_DATA | 1 | save->br_from | 0-u64max |
| USER_DATA | 1 | save->br_to | 0-u64max |
| USER_DATA | 1 | save->cpl | 0-255 |
| USER_DATA | 1 | save->cr0 | 0-u64max |
| USER_DATA | 1 | save->cr2 | 0-u64max |
| USER_DATA | 1 | save->cr3 | 0-u64max |
| USER_DATA | 1 | save->cr4 | 0-u64max |
| USER_DATA | 1 | save->cs.attrib | 0-u16max |
| USER_DATA | 1 | save->cs.base | 0-u64max |
| USER_DATA | 1 | save->cs.limit | 0-u32max |
| USER_DATA | 1 | save->cs.selector | 0-u16max |
| USER_DATA | 1 | save->dbgctl | 0-u64max |
| USER_DATA | 1 | save->dr6 | 0-u64max |
| USER_DATA | 1 | save->dr7 | 0-u64max |
| USER_DATA | 1 | save->ds.attrib | 0-u16max |
| USER_DATA | 1 | save->ds.base | 0-u64max |
| USER_DATA | 1 | save->ds.limit | 0-u32max |
| USER_DATA | 1 | save->ds.selector | 0-u16max |
| USER_DATA | 1 | save->efer | 0-u64max |
| USER_DATA | 1 | save->es.attrib | 0-u16max |
| USER_DATA | 1 | save->es.base | 0-u64max |
| USER_DATA | 1 | save->es.limit | 0-u32max |
| USER_DATA | 1 | save->es.selector | 0-u16max |
| USER_DATA | 1 | save->g_pat | 0-u64max |
| USER_DATA | 1 | save->gdtr.attrib | 0-u16max |
| USER_DATA | 1 | save->gdtr.base | 0-u64max |
| USER_DATA | 1 | save->gdtr.limit | 0-u32max |
| USER_DATA | 1 | save->gdtr.selector | 0-u16max |
| USER_DATA | 1 | save->idtr.attrib | 0-u16max |
| USER_DATA | 1 | save->idtr.base | 0-u64max |
| USER_DATA | 1 | save->idtr.limit | 0-u32max |
| USER_DATA | 1 | save->idtr.selector | 0-u16max |
| USER_DATA | 1 | save->isst_addr | 0-u64max |
| USER_DATA | 1 | save->last_excp_from | 0-u64max |
| USER_DATA | 1 | save->last_excp_to | 0-u64max |
| USER_DATA | 1 | save->rax | 0-u64max |
| USER_DATA | 1 | save->rflags | 0-u64max |
| USER_DATA | 1 | save->rip | 0-u64max |
| USER_DATA | 1 | save->rsp | 0-u64max |
| USER_DATA | 1 | save->s_cet | 0-u64max |
| USER_DATA | 1 | save->ss.attrib | 0-u16max |
| USER_DATA | 1 | save->ss.base | 0-u64max |
| USER_DATA | 1 | save->ss.limit | 0-u32max |
| USER_DATA | 1 | save->ss.selector | 0-u16max |
| USER_DATA | 1 | save->ssp | 0-u64max |