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)