xilinx_ppc440_generic.c 1005 B

1234567891011121314151617181920212223242526272829303132333435363738394041
  1. /*
  2. * (C) Copyright 2008
  3. * Ricado Ribalda-Universidad Autonoma de Madrid-ricardo.ribalda@uam.es
  4. * This work has been supported by: QTechnology http://qtec.com/
  5. *
  6. * SPDX-License-Identifier: GPL-2.0+
  7. */
  8. #include <config.h>
  9. #include <common.h>
  10. #include <asm/processor.h>
  11. int __board_pre_init(void)
  12. {
  13. return 0;
  14. }
  15. int board_pre_init(void) __attribute__((weak, alias("__board_pre_init")));
  16. int __checkboard(void)
  17. {
  18. puts("Xilinx PPC440 Generic Board\n");
  19. return 0;
  20. }
  21. int checkboard(void) __attribute__((weak, alias("__checkboard")));
  22. phys_size_t __initdram(int board_type)
  23. {
  24. return get_ram_size(XPAR_DDR2_SDRAM_MEM_BASEADDR,
  25. CONFIG_SYS_SDRAM_SIZE_MB * 1024 * 1024);
  26. }
  27. phys_size_t initdram(int) __attribute__((weak, alias("__initdram")));
  28. void __get_sys_info(sys_info_t *sysInfo)
  29. {
  30. sysInfo->freqProcessor = XPAR_CORE_CLOCK_FREQ_HZ;
  31. sysInfo->freqPLB = XPAR_PLB_CLOCK_FREQ_HZ;
  32. sysInfo->freqPCI = 0;
  33. return;
  34. }
  35. void get_sys_info(sys_info_t *) __attribute__((weak, alias("__get_sys_info")));