| /* |
| * Copyright (C) 2012 Broadcom Corporation |
| * |
| * This program is free software; you can redistribute it and/or |
| * modify it under the terms of the GNU General Public License as |
| * published by the Free Software Foundation version 2. |
| * |
| * This program is distributed "as is" WITHOUT ANY WARRANTY of any |
| * kind, whether express or implied; without even the implied warranty |
| * of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| * GNU General Public License for more details. |
| */ |
| |
| #include <linux/of_irq.h> |
| #include <linux/of_platform.h> |
| #include <linux/init.h> |
| #include <linux/device.h> |
| #include <linux/platform_device.h> |
| |
| #include <asm/mach/arch.h> |
| #include <asm/hardware/gic.h> |
| |
| #include <asm/mach/time.h> |
| |
| static const struct of_device_id irq_match[] = { |
| {.compatible = "arm,cortex-a9-gic", .data = gic_of_init, }, |
| {} |
| }; |
| |
| static void timer_init(void) |
| { |
| } |
| |
| static struct sys_timer timer = { |
| .init = timer_init, |
| }; |
| |
| static void __init init_irq(void) |
| { |
| of_irq_init(irq_match); |
| } |
| |
| static void __init board_init(void) |
| { |
| of_platform_populate(NULL, of_default_bus_match_table, NULL, |
| &platform_bus); |
| } |
| |
| static const char * const bcm11351_dt_compat[] = { "bcm,bcm11351", NULL, }; |
| |
| DT_MACHINE_START(BCM11351_DT, "Broadcom Application Processor") |
| .init_irq = init_irq, |
| .timer = &timer, |
| .init_machine = board_init, |
| .dt_compat = bcm11351_dt_compat, |
| .handle_irq = gic_handle_irq, |
| MACHINE_END |