Increase the maximum number of GIC interrupts for a9mp and a11mp to 1020, and create a configurable property for each defaulting to 96 and 64 (respectively) so that device modelers can set the value appropriately for their SoC. Other ARM processors also set their maximum number of used IRQs appropriately. Set the maximum theoretical number of GIC interrupts to 1020 and update the save/restore code to only use the appropriate number for each SoC. Signed-off-by: Mark Langsdorf <mark.langsdorf@calxeda.com> Reviewed-by: Andreas Färber <afaerber@suse.de> [Peter Maydell: fixed minor whitespace snafu] Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
56 lines
1.3 KiB
C
56 lines
1.3 KiB
C
/*
|
|
* ARM RealView Emulation Baseboard Interrupt Controller
|
|
*
|
|
* Copyright (c) 2006-2007 CodeSourcery.
|
|
* Written by Paul Brook
|
|
*
|
|
* This code is licensed under the GPL.
|
|
*/
|
|
|
|
#include "sysbus.h"
|
|
|
|
#define NCPU 1
|
|
|
|
/* Only a single "CPU" interface is present. */
|
|
static inline int
|
|
gic_get_current_cpu(void)
|
|
{
|
|
return 0;
|
|
}
|
|
|
|
#include "arm_gic.c"
|
|
|
|
typedef struct {
|
|
gic_state gic;
|
|
MemoryRegion container;
|
|
} RealViewGICState;
|
|
|
|
static void realview_gic_map_setup(RealViewGICState *s)
|
|
{
|
|
memory_region_init(&s->container, "realview-gic-container", 0x2000);
|
|
memory_region_add_subregion(&s->container, 0, &s->gic.cpuiomem[0]);
|
|
memory_region_add_subregion(&s->container, 0x1000, &s->gic.iomem);
|
|
}
|
|
|
|
static int realview_gic_init(SysBusDevice *dev)
|
|
{
|
|
RealViewGICState *s = FROM_SYSBUSGIC(RealViewGICState, dev);
|
|
|
|
/* The GICs on the RealView boards have a fixed nonconfigurable
|
|
* number of interrupt lines, so we don't need to expose this as
|
|
* a qdev property.
|
|
*/
|
|
gic_init(&s->gic, 96);
|
|
realview_gic_map_setup(s);
|
|
sysbus_init_mmio(dev, &s->container);
|
|
return 0;
|
|
}
|
|
|
|
static void realview_gic_register_devices(void)
|
|
{
|
|
sysbus_register_dev("realview_gic", sizeof(RealViewGICState),
|
|
realview_gic_init);
|
|
}
|
|
|
|
device_init(realview_gic_register_devices)
|