is_external_interrupt  225 arch/x86/kvm/svm.c static int is_external_interrupt(u32 info)
is_external_interrupt  196 arch/x86/kvm/vmx.c static inline int is_external_interrupt(u32 intr_info)