Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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.int_vector 0-255
PARAM_VALUE 0 svm->nested.ctl.intercepts 4096-ptr_max
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->nested.vmcb02.ptr->control.bus_lock_counter 0-1
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.erap_ctl 2-3
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.int_ctl 0-134217727
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.int_vector 0-255
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.misc_ctl 0-9
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.misc_ctl2 0,2-u64max
PARAM_VALUE 0 svm->nested.vmcb02.ptr->control.tlb_ctl 0
PARAM_VALUE 0 svm->soft_int_injected 1
PARAM_VALUE 0 svm->vcpu.arch.guest_mmu.fmt->permissions 0-u16max
PARAM_VALUE 0 svm->vcpu.arch.guest_mmu.fmt.bad_mt_xwr 0
PARAM_VALUE 0 svm->vcpu.arch.guest_mmu.page_fault 4654005377237938176,6624689191963803648,6795630133462265856
PARAM_VALUE 0 svm->vcpu.arch.guest_mmu.sync_spte 0,799230455575592960,7721480187534942208
PARAM_VALUE 0 svm->vcpu.arch.mmio_gva 0
PARAM_VALUE 0 svm->vcpu.arch.mmu 4096-ptr_max
PARAM_VALUE 0 svm->vcpu.arch.mmu->root.pgd 0
PARAM_VALUE 0 svm->vcpu.arch.ngpa_walk.fmt->permissions 0-u16max
PARAM_VALUE 0 svm->vcpu.arch.ngpa_walk.fmt.bad_mt_xwr 0
PARAM_VALUE 0 svm->vcpu.arch.ngpa_walk.get_guest_pgd 4965856078679683072
PARAM_VALUE 0 svm->vcpu.arch.ngpa_walk.get_pdptr 1255656061363494912
PARAM_VALUE 0 svm->vcpu.arch.ngpa_walk.gva_to_gpa 3025047059327504384,4917861297175281664,8823471726512275456
PARAM_VALUE 0 svm->vcpu.arch.ngpa_walk.inject_page_fault 5676786260861308928
PARAM_VALUE 0 svm->vcpu.kvm->mmu_lock.dep_map->name 0-255
PARAM_VALUE 0 svm->vcpu.kvm->mmu_lock.owner (-1)
PARAM_VALUE 0 svm->vcpu.stat.guest_mode 1
PARAM_VALUE 0 svm->vmcb 4096-ptr_max
PARAM_VALUE 0 svm->vmcb01.ptr 4096-ptr_max
PARAM_VALUE 0 *svm->nested.vmcb02.ptr->control.intercepts 0-4294967295
CAPPED_DATA 0 svm->nested.vmcb02.ptr 1
CAPPED_DATA 0 svm->vmcb 1
DATA_SOURCE 0 svm r to_svm
PARAM_COMPARE 0 svm->nested.last_bus_lock_rip >= $0->nested.vmcb02.ptr->save.rip
NOCHECK_CALL