Subversion Repositories c0or1k

/*
 * Copyright 2010 B Labs.Ltd.
 *
 * Author: Prem Mallappa  <prem.mallappa@b-labs.co.uk>
 *
 * Description: IPI handler for all ARM SMP cores
 */
 
#include INC_GLUE(ipi.h)
#include INC_GLUE(smp.h)
#include INC_SUBARCH(cpu.h)
#include <l4/lib/printk.h>
#include <l4/drivers/irq/gic/gic.h>
#include <l4/generic/time.h>
 
/* This should be in a file something like exception.S */
int ipi_handler(struct irq_desc *desc)
{
	int ipi_event = (desc - irq_desc_array) / sizeof(struct irq_desc);
 
//	printk("CPU%d: entered IPI%d\n", smp_get_cpuid(),
//	       (desc - irq_desc_array) / sizeof(struct irq_desc));
 
	switch (ipi_event) {
	case IPI_TIMER_EVENT:
		// printk("CPU%d: Handling timer ipi\n", smp_get_cpuid());
		secondary_timer_irq();
		break;
	default:
		printk("CPU%d: IPI with no meaning: %d\n",
		       smp_get_cpuid(), ipi_event);
		break;
	}
        return 0;
}
 
void smp_send_ipi(unsigned int cpumask, int ipi_num)
{
	gic_send_ipi(cpumask, ipi_num);
}