SGI_PANEL_IRQ
enable_irq(SGI_PANEL_IRQ);
disable_irq_nosync(SGI_PANEL_IRQ);
res = request_irq(SGI_PANEL_IRQ, panel_int, 0, "Front Panel", NULL);