int request_RTirq(unsigned int irq, void (*handler)(void));
	Installs an interrupt handler for interrupt number ``irq''.

void free_RTirq(unsigned int irq);
	Uninstalls the interrupt handler for interrupt ``irq''.

