*
* \brief Process scheduler (public interface).
*
- * \version $Id: proc.h 1646 2008-08-17 13:49:48Z bernie $
* \author Bernie Innocenti <bernie@codewiz.org>
*/
#ifndef KERN_IRQ_H
void irq_entry(int irq);
void irq_register(int irq, void (*handler)(void));
-void irq_init();
+void irq_init(void);
#endif // KERN_IRQ_H