/*
 * 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