mpic_get_mcirq
extern unsigned int mpic_get_mcirq(void);
if (nmi_virq && mpic_get_mcirq() == nmi_virq) {