Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/vmx/nested.c nested_vmx_check_restored_vmcs12() -> nested_vmx_check_guest_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->run->debug.arch.exception | 1,3 |
| PARAM_VALUE | 1 | vmcs12 | 4096-ptr_max |
| PARAM_VALUE | 1 | vmcs12->cpu_based_vm_exec_control | 0-2147483646,2147483648-u32max |
| PARAM_VALUE | 1 | vmcs12->cr3_target_count | 0-511 |
| PARAM_VALUE | 1 | vmcs12->host_cs_selector | 1-u16max |
| PARAM_VALUE | 1 | vmcs12->host_fs_base | 0-144115188075855871 |
| PARAM_VALUE | 1 | vmcs12->host_gdtr_base | 0-144115188075855871 |
| PARAM_VALUE | 1 | vmcs12->host_gs_base | 0-144115188075855871 |
| PARAM_VALUE | 1 | vmcs12->host_ia32_sysenter_eip | 0-144115188075855871 |
| PARAM_VALUE | 1 | vmcs12->host_ia32_sysenter_esp | 0-144115188075855871 |
| PARAM_VALUE | 1 | vmcs12->host_idtr_base | 0-144115188075855871 |
| PARAM_VALUE | 1 | vmcs12->host_rip | 0-144115188075855871 |
| PARAM_VALUE | 1 | vmcs12->host_tr_base | 0-144115188075855871 |
| PARAM_VALUE | 1 | vmcs12->host_tr_selector | 1-u16max |
| PARAM_VALUE | 1 | vmcs12->vm_entry_intr_info_field | 0-2147483646,2147483648-u32max |
| PARAM_VALUE | 1 | vmcs12->vm_entry_msr_load_count | 0-4096 |
| PARAM_VALUE | 1 | vmcs12->vm_exit_msr_load_count | 0-4096 |
| PARAM_VALUE | 1 | vmcs12->vm_exit_msr_store_count | 0-4096 |
| PARAM_VALUE | 2 | entry_failure_code | 1338527798151036928 |
| CAPPED_DATA | 1 | vmcs12->cpu_based_vm_exec_control | 1 |
| CAPPED_DATA | 1 | vmcs12->cr3_target_count | 1 |
| CAPPED_DATA | 1 | vmcs12->host_cr0 | 1 |
| CAPPED_DATA | 1 | vmcs12->host_cr4 | 1 |
| CAPPED_DATA | 1 | vmcs12->host_fs_base | 1 |
| CAPPED_DATA | 1 | vmcs12->host_gdtr_base | 1 |
| CAPPED_DATA | 1 | vmcs12->host_gs_base | 1 |
| CAPPED_DATA | 1 | vmcs12->host_ia32_sysenter_eip | 1 |
| CAPPED_DATA | 1 | vmcs12->host_ia32_sysenter_esp | 1 |
| CAPPED_DATA | 1 | vmcs12->host_idtr_base | 1 |
| CAPPED_DATA | 1 | vmcs12->host_rip | 1 |
| CAPPED_DATA | 1 | vmcs12->host_tr_base | 1 |
| CAPPED_DATA | 1 | vmcs12->pin_based_vm_exec_control | 1 |
| CAPPED_DATA | 1 | vmcs12->vm_entry_controls | 1 |
| CAPPED_DATA | 1 | vmcs12->vm_entry_msr_load_count | 1 |
| CAPPED_DATA | 1 | vmcs12->vm_exit_controls | 1 |
| CAPPED_DATA | 1 | vmcs12->vm_exit_msr_load_count | 1 |
| CAPPED_DATA | 1 | vmcs12->vm_exit_msr_store_count | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | vmcs12 | r get_vmcs12 |
| 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/vmx/nested.c nested_vmx_enter_non_root_mode() -> nested_vmx_check_guest_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.apic->vcpu->kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_mode | 0-4294967295 |
| PARAM_VALUE | 0 | vcpu->arch.apic->vcpu->run->hypercall.ret | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 0 | vcpu->arch.nested_run_pending | 1 |
| PARAM_VALUE | 0 | vcpu->arch.pdptrs_from_userspace | 0 |
| PARAM_VALUE | 0 | vcpu->arch.regs_avail | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.root_mmu.root.hpa | u64max |
| PARAM_VALUE | 0 | vcpu->arch.root_mmu.root.pgd | 0 |
| PARAM_VALUE | 0 | vcpu->kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_advance_ns | 0-4294967295 |
| PARAM_VALUE | 0 | vcpu->kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_mode | 0-4294967295 |
| PARAM_VALUE | 0 | vcpu->kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_mode_mask | 0-4294967295 |
| PARAM_VALUE | 0 | vcpu->kvm->mmu_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->kvm->mmu_lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->kvm->mmu_lock.raw_lock.wlocked | 0 |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->last_used_slot->as_id | 0-1 |
| PARAM_VALUE | 0 | vcpu->last_used_slot->base_gfn | 0-18446744073709551614 |
| PARAM_VALUE | 0 | vcpu->last_used_slot->id | 0-32766 |
| PARAM_VALUE | 0 | vcpu->run->debug.arch.exception | 1,3 |
| PARAM_VALUE | 0 | *vcpu->arch.mmu->pae_root | 0 |
| PARAM_VALUE | 1 | vmcs12 | 4096-ptr_max |
| PARAM_VALUE | 1 | vmcs12->vm_entry_controls | 4-u32max |
| PARAM_VALUE | 2 | entry_failure_code | 1492584348836081664 |
| DATA_SOURCE | 0 | vcpu | $0 |
| DATA_SOURCE | 1 | vmcs12 | r get_vmcs12 |
| USER_DATA | 0 | *vcpu->arch.pdptrs | 0-u64max |
| 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 | |
| USER_PTR | 0 | vcpu->arch.pdptrs |