Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/svm/nested.c nested_vmcb02_prepare_control() -> is_evtinj_nmi()

Type Parameter Key Value
USER_DATA 0 evtinj 0-u32max[c]