Subversion Repositories c0or1k

/*
 * Generic irq handling definitions.
 *
 * Copyright (C) 2010 B Labs Ltd.
 */
#ifndef __GENERIC_IRQ_H__
#define __GENERIC_IRQ_H__
 
#include <l4/lib/string.h>
#include <l4/lib/wait.h>
#include <l4/lib/printk.h>
#include INC_PLAT(irq.h)
#include INC_ARCH(types.h)
 
/* Represents none or spurious irq */
#define IRQ_NIL				0xFFFFFFFF /* -1 */
#define IRQ_SPURIOUS			0xFFFFFFFE /* -2 */
 
/* Successful irq handling state */
#define IRQ_HANDLED				0
 
typedef void (*irq_op_t)(l4id_t irq);
struct irq_chip_ops {
	void (*init)();
	l4id_t (*read_irq)(void *data);
	irq_op_t ack_and_mask;
	irq_op_t unmask;
	void (*set_cpu)(l4id_t irq, unsigned int cpumask);
};
 
struct irq_chip {
	char name[32];
	int level;		/* Cascading level */
	int cascade;		/* The irq that lower chip uses on this chip */
	int start;		/* The global irq offset for this chip */
	int end;		/* End of this chip's irqs */
	void *data;		/* Anything that a of interest to a driver */
	struct irq_chip_ops ops;
};
 
struct irq_desc;
typedef int (*irq_handler_t)(struct irq_desc *irq_desc);
struct irq_desc {
	char name[8];
	struct irq_chip *chip;
 
	/* Thread registered for this irq */
	struct ktcb *task;
 
	/* Notification slot for this irq */
	int task_notify_slot;
 
	/* Waitqueue head for this irq */
	struct waitqueue_head wqh_irq;
 
	/* NOTE: This could be a list for multiple handlers for shared irqs */
	irq_handler_t handler;
};
 
extern struct irq_desc irq_desc_array[];
extern struct irq_chip irq_chip_array[];
 
static inline void irq_enable(int irq_index)
{
	struct irq_desc *this_irq = irq_desc_array + irq_index;
	struct irq_chip *this_chip = this_irq->chip;
 
	this_chip->ops.unmask(irq_index - this_chip->start);
}
 
static inline void irq_disable(int irq_index)
{
	struct irq_desc *this_irq = irq_desc_array + irq_index;
	struct irq_chip *this_chip = this_irq->chip;
	this_chip->ops.ack_and_mask(irq_index - this_chip->start);
}
 
static inline void irq_set_cpu(int irq_index, unsigned int cpumask)
{
	struct irq_desc *this_irq = irq_desc_array + irq_index;
	struct irq_chip *this_chip = this_irq->chip;
 
	this_chip->ops.set_cpu(irq_index - this_chip->start, cpumask);
}
 
int irq_register(struct ktcb *task, int notify_slot, l4id_t irq_index);
int irq_thread_notify(struct irq_desc *desc);
 
void do_irq(void);
void irq_controllers_init(void);
 
#endif /* __GENERIC_IRQ_H__ */