socfpga.c 2.4 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788
  1. /*
  2. * Copyright (C) 2012-2015 Altera Corporation
  3. *
  4. * This program is free software; you can redistribute it and/or modify
  5. * it under the terms of the GNU General Public License as published by
  6. * the Free Software Foundation; either version 2 of the License, or
  7. * (at your option) any later version.
  8. *
  9. * This program is distributed in the hope that it will be useful,
  10. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  11. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  12. * GNU General Public License for more details.
  13. *
  14. * You should have received a copy of the GNU General Public License
  15. * along with this program. If not, see <http://www.gnu.org/licenses/>.
  16. */
  17. #include <linux/irqchip.h>
  18. #include <linux/of_address.h>
  19. #include <linux/of_irq.h>
  20. #include <linux/of_platform.h>
  21. #include <linux/reboot.h>
  22. #include <asm/hardware/cache-l2x0.h>
  23. #include <asm/mach/arch.h>
  24. #include <asm/mach/map.h>
  25. #include <asm/cacheflush.h>
  26. #include "core.h"
  27. void __iomem *sys_manager_base_addr;
  28. void __iomem *rst_manager_base_addr;
  29. void __iomem *sdr_ctl_base_addr;
  30. unsigned long socfpga_cpu1start_addr;
  31. void __init socfpga_sysmgr_init(void)
  32. {
  33. struct device_node *np;
  34. np = of_find_compatible_node(NULL, NULL, "altr,sys-mgr");
  35. if (of_property_read_u32(np, "cpu1-start-addr",
  36. (u32 *) &socfpga_cpu1start_addr))
  37. pr_err("SMP: Need cpu1-start-addr in device tree.\n");
  38. /* Ensure that socfpga_cpu1start_addr is visible to other CPUs */
  39. smp_wmb();
  40. sync_cache_w(&socfpga_cpu1start_addr);
  41. sys_manager_base_addr = of_iomap(np, 0);
  42. np = of_find_compatible_node(NULL, NULL, "altr,rst-mgr");
  43. rst_manager_base_addr = of_iomap(np, 0);
  44. np = of_find_compatible_node(NULL, NULL, "altr,sdr-ctl");
  45. sdr_ctl_base_addr = of_iomap(np, 0);
  46. }
  47. static void __init socfpga_init_irq(void)
  48. {
  49. irqchip_init();
  50. socfpga_sysmgr_init();
  51. }
  52. static void socfpga_cyclone5_restart(enum reboot_mode mode, const char *cmd)
  53. {
  54. u32 temp;
  55. temp = readl(rst_manager_base_addr + SOCFPGA_RSTMGR_CTRL);
  56. if (mode == REBOOT_HARD)
  57. temp |= RSTMGR_CTRL_SWCOLDRSTREQ;
  58. else
  59. temp |= RSTMGR_CTRL_SWWARMRSTREQ;
  60. writel(temp, rst_manager_base_addr + SOCFPGA_RSTMGR_CTRL);
  61. }
  62. static const char *altera_dt_match[] = {
  63. "altr,socfpga",
  64. NULL
  65. };
  66. DT_MACHINE_START(SOCFPGA, "Altera SOCFPGA")
  67. .l2c_aux_val = 0,
  68. .l2c_aux_mask = ~0,
  69. .init_irq = socfpga_init_irq,
  70. .restart = socfpga_cyclone5_restart,
  71. .dt_compat = altera_dt_match,
  72. MACHINE_END