18 #include <linux/kernel.h>
34 #include <mach/clkdev.h>
38 { .compatible =
"simple-bus", },
46 static void __init xilinx_init_machine(
void)
48 #ifdef CONFIG_CACHE_L2X0
55 of_platform_bus_probe(
NULL, zynq_of_bus_ids,
NULL);
61 static void __init xilinx_irq_init(
void)
70 static struct map_desc io_desc[] __initdata = {
88 #ifdef CONFIG_DEBUG_LL
102 static void __init xilinx_map_io(
void)
107 static const char *xilinx_dt_match[] = {
113 .map_io = xilinx_map_io,
114 .init_irq = xilinx_irq_init,
116 .init_machine = xilinx_init_machine,
118 .dt_compat = xilinx_dt_match,