/* Controller can also be configured to generate Machine checks (MCP), again on two lines, to be attached to two different cores. It is suggested that these should be masked out.  */
void gef_pic_cascade(unsigned int irq, struct irq_desc *desc)
/* Controller can also be configured to generate Machine checks (MCP), again on two lines, to be attached to two different cores. It is suggested that these should be masked out.  */
void gef_pic_cascade(unsigned int irq, struct irq_desc *desc)
{
	unsigned int cascade_irq;
	cascade_irq = gef_pic_get_irq();
	if (cascade_irq != NO_IRQ)
		generic_handle_irq(cascade_irq);
	desc->chip->eoi(irq);
}