Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/svm/svm.c svm_enable_nmi_window() -> is_vnmi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
DATA_SOURCE 0 svm r to_svm

arch/x86/kvm/svm/svm.c svm_get_nmi_mask() -> is_vnmi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
DATA_SOURCE 0 svm r to_svm

arch/x86/kvm/svm/svm.c svm_inject_nmi() -> is_vnmi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
DATA_SOURCE 0 svm r to_svm

arch/x86/kvm/svm/svm.c svm_is_vnmi_pending() -> is_vnmi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
DATA_SOURCE 0 svm r to_svm

arch/x86/kvm/svm/svm.c svm_set_nmi_mask() -> is_vnmi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
DATA_SOURCE 0 svm r to_svm

arch/x86/kvm/svm/svm.c svm_set_vnmi_pending() -> is_vnmi_enabled()

Type Parameter Key Value
PARAM_VALUE 0 svm 4096-ptr_max
DATA_SOURCE 0 svm r to_svm