irq.h

Go to the documentation of this file.

#ifndef _DEV_IRQ_H
#define _DEV_IRQ_H
 
#include <core/types.h>
 
/*
 * Devices' interrupts. A driver installs a handler for its IRQ, which is
 * called with its `arg` when the interrupt comes. Each architecture
 * implements this (arch/ARCH/.../irq.c).
 *
 * An IRQ is the number that the platform gives it: the ISA's or the I/O
 * APIC's on the PC, the GIC's interrupt ID on the virt machine. A driver
 * gets it from the platform (dev/platform.h), from its bus (a PCI line),
 * or from arch_msi_alloc(); it never makes one up. An IRQ may have
 * several handlers (a shared line): each is called, and each checks its
 * own device. The first handler installed unmasks the IRQ, and the last
 * one uninstalled masks it.
 */
 
/* An interrupt handler. */
typedef void (*irq_handler_t)(void *arg);

int  irq_install(unsigned irq, irq_handler_t fn, void *arg);

void irq_uninstall(unsigned irq, irq_handler_t fn, void *arg);
 
#endif /* ! _DEV_IRQ_H */