55 lines
1.3 KiB
C
55 lines
1.3 KiB
C
/*
|
|
* Copyright (c) 2011 Picochip Ltd., Jamie Iles
|
|
*
|
|
* This program is free software; you can redistribute it and/or modify
|
|
* it under the terms of the GNU General Public License version 2 as
|
|
* published by the Free Software Foundation.
|
|
*
|
|
* All enquiries to support@picochip.com
|
|
*/
|
|
#include <linux/irq.h>
|
|
#include <linux/irqdomain.h>
|
|
#include <linux/of.h>
|
|
#include <linux/of_address.h>
|
|
#include <linux/of_irq.h>
|
|
#include <linux/of_platform.h>
|
|
|
|
#include <asm/mach/arch.h>
|
|
#include <asm/hardware/vic.h>
|
|
|
|
#include <mach/map.h>
|
|
#include <mach/picoxcell_soc.h>
|
|
|
|
#include "common.h"
|
|
|
|
static void __init picoxcell_init_machine(void)
|
|
{
|
|
of_platform_populate(NULL, of_default_bus_match_table, NULL, NULL);
|
|
}
|
|
|
|
static const char *picoxcell_dt_match[] = {
|
|
"picochip,pc3x2",
|
|
"picochip,pc3x3",
|
|
NULL
|
|
};
|
|
|
|
static const struct of_device_id vic_of_match[] __initconst = {
|
|
{ .compatible = "arm,pl192-vic", .data = vic_of_init, },
|
|
{ /* Sentinel */ }
|
|
};
|
|
|
|
static void __init picoxcell_init_irq(void)
|
|
{
|
|
of_irq_init(vic_of_match);
|
|
}
|
|
|
|
DT_MACHINE_START(PICOXCELL, "Picochip picoXcell")
|
|
.map_io = picoxcell_map_io,
|
|
.nr_irqs = ARCH_NR_IRQS,
|
|
.init_irq = picoxcell_init_irq,
|
|
.handle_irq = vic_handle_irq,
|
|
.timer = &picoxcell_timer,
|
|
.init_machine = picoxcell_init_machine,
|
|
.dt_compat = picoxcell_dt_match,
|
|
MACHINE_END
|