40 lines
1.2 KiB
C
40 lines
1.2 KiB
C
|
/*
|
||
|
|
* Copyright 2006, Ingo Weinhold <bonefish@cs.tu-berlin.de>.
|
||
|
|
* All rights reserved. Distributed under the terms of the MIT License.
|
||
|
|
*/
|
||
|
|
#ifndef _INTERRUPT_CONTROLLER_H
|
||
|
|
#define _INTERRUPT_CONTROLLER_H
|
||
|
|
|
||
|
|
#include <device_manager.h>
|
||
|
|
|
||
|
|
enum {
|
||
|
|
IRQ_TYPE_LEVEL = 0,
|
||
|
|
IRQ_TYPE_EDGE = 1,
|
||
|
|
};
|
||
|
|
|
||
|
|
typedef struct interrupt_controller_info {
|
||
|
|
int cpu_count; // number of supported CPUs
|
||
|
|
int irq_count; // number of supported IRQs
|
||
|
|
} interrupt_controller_info;
|
||
|
|
|
||
|
|
// interrupt controller drivers
|
||
|
|
typedef struct interrupt_controller_module_info {
|
||
|
|
driver_module_info info;
|
||
|
|
|
||
|
|
status_t (*get_controller_info)(void *cookie,
|
||
|
|
interrupt_controller_info *info);
|
||
|
|
|
||
|
|
status_t (*enable_io_interrupt)(void *cookie, int irq, int type);
|
||
|
|
status_t (*disable_io_interrupt)(void *cookie, int irq);
|
||
|
|
|
||
|
|
// Returns the IRQ number or a negative value, if the interrupt shall be
|
||
|
|
// ignore (spurious interrupts). Since more than one interrupt can be
|
||
|
|
// pending, the function should be called in a loop until it returns a
|
||
|
|
// negative value.
|
||
|
|
// Must be called with CPU interrupts disabled.
|
||
|
|
int (*acknowledge_io_interrupt)(void *cookie);
|
||
|
|
|
||
|
|
} interrupt_controller_module_info;
|
||
|
|
|
||
|
|
#endif // _INTERRUPT_CONTROLLER_H
|