2 * Copyright (c) 2011 Picochip Ltd., Jamie Iles
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License version 2 as
6 * published by the Free Software Foundation.
8 * All enquiries to support@picochip.com
10 #include <linux/irq.h>
11 #include <linux/irqdomain.h>
13 #include <linux/of_address.h>
14 #include <linux/of_irq.h>
15 #include <linux/of_platform.h>
17 #include <asm/mach/arch.h>
18 #include <asm/hardware/vic.h>
21 #include <mach/picoxcell_soc.h>
25 static void __init picoxcell_init_machine(void)
27 of_platform_populate(NULL, of_default_bus_match_table, NULL, NULL);
30 static const char *picoxcell_dt_match[] = {
36 static const struct of_device_id vic_of_match[] __initconst = {
37 { .compatible = "arm,pl192-vic", .data = vic_of_init, },
41 static void __init picoxcell_init_irq(void)
43 of_irq_init(vic_of_match);
46 DT_MACHINE_START(PICOXCELL, "Picochip picoXcell")
47 .map_io = picoxcell_map_io,
48 .nr_irqs = ARCH_NR_IRQS,
49 .init_irq = picoxcell_init_irq,
50 .handle_irq = vic_handle_irq,
51 .timer = &picoxcell_timer,
52 .init_machine = picoxcell_init_machine,
53 .dt_compat = picoxcell_dt_match,