Searched refs:mpic_get_mcirq (Results 1 – 3 of 3) sorted by relevance
486 extern unsigned int mpic_get_mcirq(void);
267 if (nmi_virq != NO_IRQ && mpic_get_mcirq() == nmi_virq) { in pas_machine_check_handler()
1834 unsigned int mpic_get_mcirq(void) in mpic_get_mcirq() function