2 * Copyright (C) 2012 Broadcom Corporation
4 * This program is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU General Public License as
6 * published by the Free Software Foundation version 2.
8 * This program is distributed "as is" WITHOUT ANY WARRANTY of any
9 * kind, whether express or implied; without even the implied warranty
10 * of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11 * GNU General Public License for more details.
14 #include <linux/of_irq.h>
15 #include <linux/of_platform.h>
16 #include <linux/init.h>
17 #include <linux/device.h>
18 #include <linux/platform_device.h>
20 #include <asm/mach/arch.h>
21 #include <asm/hardware/gic.h>
23 #include <asm/mach/time.h>
25 static const struct of_device_id irq_match
[] = {
26 {.compatible
= "arm,cortex-a9-gic", .data
= gic_of_init
, },
30 static void timer_init(void)
34 static struct sys_timer timer
= {
38 static void __init
init_irq(void)
40 of_irq_init(irq_match
);
43 static void __init
board_init(void)
45 of_platform_populate(NULL
, of_default_bus_match_table
, NULL
,
49 static const char * const bcm11351_dt_compat
[] = { "bcm,bcm11351", NULL
, };
51 DT_MACHINE_START(BCM11351_DT
, "Broadcom Application Processor")
54 .init_machine
= board_init
,
55 .dt_compat
= bcm11351_dt_compat
,
56 .handle_irq
= gic_handle_irq
,