Searched refs:mpic_get_mcirq (Results 1 – 3 of 3) sorted by relevance
494 extern unsigned int mpic_get_mcirq(void);
323 if (nmi_virq && mpic_get_mcirq() == nmi_virq) { in pas_machine_check_handler()
1832 unsigned int mpic_get_mcirq(void) in mpic_get_mcirq() function