| 27,32 → 27,20 |
|---|
| */ |
| |
| /** @addtogroup arm32interrupt |
| * @ingroup interrupt |
| * @{ |
| */ |
| /** @file |
| * @brief Declarations of interrupt controlling routines. |
| */ |
| |
| #ifndef KERN_arm32_INTERRUPT_H_ |
| #define KERN_arm32_INTERRUPT_H_ |
| |
| #include <arch/types.h> |
| #include <arch/exception.h> |
| |
| /** Initial size of exception dispatch table. */ |
| #define IVT_ITEMS 6 |
| |
| /** Index of the first item in exception dispatch table. */ |
| #define IVT_FIRST 0 |
| |
| void interrupt_init(void); |
| |
| extern void interrupt_init(void); |
| extern ipl_t interrupts_disable(void); |
| extern ipl_t interrupts_enable(void); |
| extern void interrupts_restore(ipl_t ipl); |
| extern ipl_t interrupts_read(void); |
| |
| |
| #endif |
| |
| /** @} |