/*
   * This file contains common code that is intended to be used across
   * boards so that it's not replicated.
   *
   *  Copyright (C) 2011 Xilinx
   *
   * This software is licensed under the terms of the GNU General Public
   * License version 2, as published by the Free Software Foundation, and
   * may be copied, distributed, and modified under those terms.
   *
   * This program is distributed in the hope that it will be useful,
   * but WITHOUT ANY WARRANTY; without even the implied warranty of
   * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   * GNU General Public License for more details.
   */
  
  #include <linux/init.h>
  #include <linux/kernel.h>
  #include <linux/cpumask.h>
  #include <linux/platform_device.h>
  #include <linux/clk.h>
  #include <linux/clk/zynq.h>
  #include <linux/clocksource.h>
  #include <linux/of_address.h>
  #include <linux/of_irq.h>
  #include <linux/of_platform.h>
  #include <linux/of.h>
  #include <linux/memblock.h>
  #include <linux/irqchip.h>
  #include <linux/irqchip/arm-gic.h>
  
  #include <asm/mach/arch.h>
  #include <asm/mach/map.h>
  #include <asm/mach/time.h>
  #include <asm/mach-types.h>
  #include <asm/page.h>
  #include <asm/pgtable.h>
  #include <asm/smp_scu.h>
  #include <asm/hardware/cache-l2x0.h>
  
  #include "common.h"
  
  void __iomem *zynq_scu_base;
  
  /**
   * zynq_memory_init - Initialize special memory
   *
   * We need to stop things allocating the low memory as DMA can't work in
   * the 1st 512K of memory.
   */
  static void __init zynq_memory_init(void)
  {
  	if (!__pa(PAGE_OFFSET))
  		memblock_reserve(__pa(PAGE_OFFSET), __pa(swapper_pg_dir));
  }
  
  static struct platform_device zynq_cpuidle_device = {
  	.name = "cpuidle-zynq",
  };
  
  /**
   * zynq_init_machine - System specific initialization, intended to be
   *		       called from board specific initialization.
   */
  static void __init zynq_init_machine(void)
  {
  	/*
  	 * 64KB way size, 8-way associativity, parity disabled
  	 */
  	l2x0_of_init(0x02060000, 0xF0F0FFFF);
  
  	of_platform_populate(NULL, of_default_bus_match_table, NULL, NULL);
  
  	platform_device_register(&zynq_cpuidle_device);
  }
  
  static void __init zynq_timer_init(void)
  {
  	zynq_slcr_init();
  	clocksource_of_init();
  }
  
  static struct map_desc zynq_cortex_a9_scu_map __initdata = {
  	.length	= SZ_256,
  	.type	= MT_DEVICE,
  };
  
  static void __init zynq_scu_map_io(void)
  {
  	unsigned long base;
  
  	base = scu_a9_get_base();
  	zynq_cortex_a9_scu_map.pfn = __phys_to_pfn(base);
  	/* Expected address is in vmalloc area that's why simple assign here */
  	zynq_cortex_a9_scu_map.virtual = base;
  	iotable_init(&zynq_cortex_a9_scu_map, 1);
  	zynq_scu_base = (void __iomem *)base;
  	BUG_ON(!zynq_scu_base);
  }
  
  /**
   * zynq_map_io - Create memory mappings needed for early I/O.
   */
  static void __init zynq_map_io(void)
  {
  	debug_ll_io_init();
  	zynq_scu_map_io();
  }
  
  static void __init zynq_irq_init(void)
  {
  	gic_arch_extn.flags = IRQCHIP_SKIP_SET_WAKE | IRQCHIP_MASK_ON_SUSPEND;
  	irqchip_init();
  }
  
  static void zynq_system_reset(enum reboot_mode mode, const char *cmd)
  {
  	zynq_slcr_system_reset();
  }
  
  static const char * const zynq_dt_match[] = {
  	"xlnx,zynq-7000",
  	NULL
  };
  
  DT_MACHINE_START(XILINX_EP107, "Xilinx Zynq Platform")
  	.smp		= smp_ops(zynq_smp_ops),
  	.map_io		= zynq_map_io,
  	.init_irq	= zynq_irq_init,
  	.init_machine	= zynq_init_machine,
  	.init_time	= zynq_timer_init,
  	.dt_compat	= zynq_dt_match,
  	.reserve	= zynq_memory_init,
  	.restart	= zynq_system_reset,
  MACHINE_END