SYNOPSIS void irq_wake_thread(unsigned int irq, void * dev_id); ARGUMENTS irq Interrupt line dev_id Device identity for which the thread should be woken AUTHORS Thomas Gleixner <[email protected]> Author. Ingo Molnar <[email protected]> Author. COPYRIGHT