2012-10-08 03:38:03 +02:00
|
|
|
#ifndef __HW_INTR_ARM_H__
|
|
|
|
#define __HW_INTR_ARM_H__
|
|
|
|
|
2013-08-26 18:43:05 +02:00
|
|
|
|
2012-10-08 03:38:03 +02:00
|
|
|
#include "kernel/kernel.h"
|
|
|
|
void irq_handle(int irq);
|
|
|
|
|
2014-02-07 08:46:29 +01:00
|
|
|
int hw_intr_mask(int irq);
|
|
|
|
int hw_intr_unmask(int irq);
|
|
|
|
int hw_intr_ack(int irq);
|
|
|
|
int hw_intr_used(int irq);
|
|
|
|
int hw_intr_not_used(int irq);
|
|
|
|
int hw_intr_disable_all();
|
2012-10-08 03:38:03 +02:00
|
|
|
|
|
|
|
#endif /* __HW_INTR_ARM_H__ */
|