Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

arch/x86/kvm/vmx/sgx.c __vmcs_writel() -> kvm_spurious_fault()

Type Parameter Key Value
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c __invvpid() -> kvm_spurious_fault()

Type Parameter Key Value
PREEMPT_ADD
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c __vmcs_readl() -> kvm_spurious_fault()

Type Parameter Key Value
PREEMPT_ADD
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c __vmcs_writel() -> kvm_spurious_fault()

Type Parameter Key Value
PREEMPT_ADD
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c vmcs_clear() -> kvm_spurious_fault()

Type Parameter Key Value
PREEMPT_ADD
NOCHECK_CALL

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

Type Parameter Key Value
PREEMPT_ADD
NOCHECK_CALL

arch/x86/kvm/vmx/hyperv.c __vmcs_readl() -> kvm_spurious_fault()

Type Parameter Key Value
NOCHECK_CALL

arch/x86/kvm/vmx/pmu_intel.c __vmcs_readl() -> kvm_spurious_fault()

Type Parameter Key Value
NOCHECK_CALL

arch/x86/kvm/vmx/pmu_intel.c __vmcs_writel() -> kvm_spurious_fault()

Type Parameter Key Value
NOCHECK_CALL

arch/x86/kvm/svm/svm.c clgi() -> kvm_spurious_fault()

Type Parameter Key Value
NOCHECK_CALL

arch/x86/kvm/svm/svm.c invlpga() -> kvm_spurious_fault()

Type Parameter Key Value
NOCHECK_CALL

arch/x86/kvm/svm/svm.c stgi() -> kvm_spurious_fault()

Type Parameter Key Value
NOCHECK_CALL

arch/x86/kvm/svm/svm.c vmsave() -> kvm_spurious_fault()

Type Parameter Key Value
NOCHECK_CALL

arch/x86/kvm/vmx/tdx.c __invept() -> kvm_spurious_fault()

Type Parameter Key Value
NOCHECK_CALL

arch/x86/kvm/vmx/tdx.c __vmcs_readl() -> kvm_spurious_fault()

Type Parameter Key Value
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c __invept() -> kvm_spurious_fault()

Type Parameter Key Value
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c __invvpid() -> kvm_spurious_fault()

Type Parameter Key Value
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c __vmcs_readl() -> kvm_spurious_fault()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c __vmcs_writel() -> kvm_spurious_fault()

Type Parameter Key Value
PREEMPT_ADD
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmcs_clear() -> kvm_spurious_fault()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PREEMPT_ADD
NOCHECK_CALL