ef4acb75a0
Fix the issue: tree: git://git.kernel.org/pub/scm/linux/kernel/git/arm/arm-soc.git next/soc head:6ed05a2aabcommit:af70fdc947[4/8] Merge branch 'marco-timer-cleanup-rebase' of git://gitorious.org/sirfprima2-kernel/sirfprima2-kernel into next/soc config: make ARCH=arm prima2_defconfig All error/warnings: >> arch/arm/mach-prima2/platsmp.c:20:30: fatal error: asm/hardware/gic.h: No such file or directory compilation terminated. -- >> arch/arm/mach-prima2/common.c:15:30: fatal error: asm/hardware/gic.h: No such file or directory compilation terminated. Signed-off-by: Barry Song <Baohua.Song@csr.com> Cc: Xie ChanglongX <changlongx.xie@intel.com> Signed-off-by: Olof Johansson <olof@lixom.net>
80 lines
1.8 KiB
C
80 lines
1.8 KiB
C
/*
|
|
* Defines machines for CSR SiRFprimaII
|
|
*
|
|
* Copyright (c) 2011 Cambridge Silicon Radio Limited, a CSR plc group company.
|
|
*
|
|
* Licensed under GPLv2 or later.
|
|
*/
|
|
|
|
#include <linux/init.h>
|
|
#include <linux/kernel.h>
|
|
#include <linux/irqchip.h>
|
|
#include <asm/sizes.h>
|
|
#include <asm/mach-types.h>
|
|
#include <asm/mach/arch.h>
|
|
#include <linux/of.h>
|
|
#include <linux/of_platform.h>
|
|
#include "common.h"
|
|
|
|
static struct of_device_id sirfsoc_of_bus_ids[] __initdata = {
|
|
{ .compatible = "simple-bus", },
|
|
{},
|
|
};
|
|
|
|
void __init sirfsoc_mach_init(void)
|
|
{
|
|
of_platform_bus_probe(NULL, sirfsoc_of_bus_ids, NULL);
|
|
}
|
|
|
|
void __init sirfsoc_init_late(void)
|
|
{
|
|
sirfsoc_pm_init();
|
|
}
|
|
|
|
static __init void sirfsoc_map_io(void)
|
|
{
|
|
sirfsoc_map_lluart();
|
|
sirfsoc_map_scu();
|
|
}
|
|
|
|
#ifdef CONFIG_ARCH_PRIMA2
|
|
static const char *prima2_dt_match[] __initdata = {
|
|
"sirf,prima2",
|
|
NULL
|
|
};
|
|
|
|
DT_MACHINE_START(PRIMA2_DT, "Generic PRIMA2 (Flattened Device Tree)")
|
|
/* Maintainer: Barry Song <baohua.song@csr.com> */
|
|
.map_io = sirfsoc_map_io,
|
|
.init_irq = sirfsoc_of_irq_init,
|
|
.init_time = sirfsoc_prima2_timer_init,
|
|
#ifdef CONFIG_MULTI_IRQ_HANDLER
|
|
.handle_irq = sirfsoc_handle_irq,
|
|
#endif
|
|
.dma_zone_size = SZ_256M,
|
|
.init_machine = sirfsoc_mach_init,
|
|
.init_late = sirfsoc_init_late,
|
|
.dt_compat = prima2_dt_match,
|
|
.restart = sirfsoc_restart,
|
|
MACHINE_END
|
|
#endif
|
|
|
|
#ifdef CONFIG_ARCH_MARCO
|
|
static const char *marco_dt_match[] __initdata = {
|
|
"sirf,marco",
|
|
NULL
|
|
};
|
|
|
|
DT_MACHINE_START(MARCO_DT, "Generic MARCO (Flattened Device Tree)")
|
|
/* Maintainer: Barry Song <baohua.song@csr.com> */
|
|
.smp = smp_ops(sirfsoc_smp_ops),
|
|
.map_io = sirfsoc_map_io,
|
|
.init_irq = irqchip_init,
|
|
.init_time = sirfsoc_marco_timer_init,
|
|
.init_machine = sirfsoc_mach_init,
|
|
.init_late = sirfsoc_init_late,
|
|
.dt_compat = marco_dt_match,
|
|
.restart = sirfsoc_restart,
|
|
MACHINE_END
|
|
#endif
|