mirror of
https://github.com/drasko/codezero.git
synced 2026-01-11 10:16:37 +01:00
19 lines
501 B
C
19 lines
501 B
C
/*
|
|
* Platform encapsulation over timer driver.
|
|
*
|
|
* Copyright (C) 2007 Bahadir Balban
|
|
*/
|
|
|
|
#ifndef __PLATFORM_REALVIEW_IRQ_H__
|
|
#define __PLATFORM_REALVIEW_IRQ_H__
|
|
|
|
#include <l4/drivers/timer/sp804/timer.h>
|
|
#include <l4/generic/irq.h>
|
|
|
|
int platform_timer_user_handler(struct irq_desc *desc);
|
|
int platform_keyboard_user_handler(struct irq_desc *desc);
|
|
int platform_mouse_user_handler(struct irq_desc *desc);
|
|
int platform_timer_handler(struct irq_desc *desc);
|
|
|
|
#endif /* __PLATFORM_REALVIEW_IRQ_H__ */
|