Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kvm/vmx/sgx.c vmcs_write64() -> kvm_is_using_evmcs()

Type Parameter Key Value

arch/x86/kvm/vmx/nested.c vmcs_load() -> kvm_is_using_evmcs()

Type Parameter Key Value
PREEMPT_ADD

arch/x86/kvm/vmx/nested.c vmcs_read16() -> kvm_is_using_evmcs()

Type Parameter Key Value
PREEMPT_ADD

arch/x86/kvm/vmx/nested.c vmcs_read32() -> kvm_is_using_evmcs()

Type Parameter Key Value
PREEMPT_ADD

arch/x86/kvm/vmx/nested.c vmcs_read64() -> kvm_is_using_evmcs()

Type Parameter Key Value

arch/x86/kvm/vmx/nested.c vmcs_readl() -> kvm_is_using_evmcs()

Type Parameter Key Value
PREEMPT_ADD

arch/x86/kvm/vmx/nested.c vmcs_write16() -> kvm_is_using_evmcs()

Type Parameter Key Value

arch/x86/kvm/vmx/nested.c vmcs_write32() -> kvm_is_using_evmcs()

Type Parameter Key Value

arch/x86/kvm/vmx/nested.c vmcs_write64() -> kvm_is_using_evmcs()

Type Parameter Key Value

arch/x86/kvm/vmx/nested.c vmcs_writel() -> kvm_is_using_evmcs()

Type Parameter Key Value

arch/x86/kvm/vmx/hyperv.c vmcs_read32() -> kvm_is_using_evmcs()

Type Parameter Key Value

arch/x86/kvm/vmx/pmu_intel.c vmcs_read64() -> kvm_is_using_evmcs()

Type Parameter Key Value

arch/x86/kvm/vmx/pmu_intel.c vmcs_write64() -> kvm_is_using_evmcs()

Type Parameter Key Value

arch/x86/kvm/vmx/tdx.c vmcs_read32() -> kvm_is_using_evmcs()

Type Parameter Key Value

arch/x86/kvm/vmx/tdx.c vmcs_readl() -> kvm_is_using_evmcs()

Type Parameter Key Value

arch/x86/kvm/vmx/vmx.c alloc_vmcs_cpu() -> kvm_is_using_evmcs()

Type Parameter Key Value

arch/x86/kvm/vmx/vmx.c hv_reset_evmcs() -> kvm_is_using_evmcs()

Type Parameter Key Value

arch/x86/kvm/vmx/vmx.c vmcs_clear_bits() -> kvm_is_using_evmcs()

Type Parameter Key Value

arch/x86/kvm/vmx/vmx.c vmcs_load() -> kvm_is_using_evmcs()

Type Parameter Key Value
PREEMPT_ADD

arch/x86/kvm/vmx/vmx.c vmcs_read16() -> kvm_is_using_evmcs()

Type Parameter Key Value

arch/x86/kvm/vmx/vmx.c vmcs_read32() -> kvm_is_using_evmcs()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

arch/x86/kvm/vmx/vmx.c vmcs_read64() -> kvm_is_using_evmcs()

Type Parameter Key Value

arch/x86/kvm/vmx/vmx.c vmcs_readl() -> kvm_is_using_evmcs()

Type Parameter Key Value

arch/x86/kvm/vmx/vmx.c vmcs_set_bits() -> kvm_is_using_evmcs()

Type Parameter Key Value

arch/x86/kvm/vmx/vmx.c vmcs_write16() -> kvm_is_using_evmcs()

Type Parameter Key Value
PREEMPT_ADD

arch/x86/kvm/vmx/vmx.c vmcs_write32() -> kvm_is_using_evmcs()

Type Parameter Key Value

arch/x86/kvm/vmx/vmx.c vmcs_write64() -> kvm_is_using_evmcs()

Type Parameter Key Value
HALF_LOCKED2 &vcpu->kvm->mmu_lock

arch/x86/kvm/vmx/vmx.c vmcs_writel() -> kvm_is_using_evmcs()

Type Parameter Key Value
PREEMPT_ADD

arch/x86/kvm/vmx/vmx.c vmx_enable_virtualization_cpu() -> kvm_is_using_evmcs()

Type Parameter Key Value

arch/x86/kvm/vmx/vmx.c vmx_msr_bitmap_l01_changed() -> kvm_is_using_evmcs()

Type Parameter Key Value

arch/x86/kvm/vmx/vmx.c vmx_vcpu_create() -> kvm_is_using_evmcs()

Type Parameter Key Value

arch/x86/kvm/vmx/vmx.c vmx_vcpu_run() -> kvm_is_using_evmcs()

Type Parameter Key Value