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