3
* Ricado Ribalda-Universidad Autonoma de Madrid-ricardo.ribalda@uam.es
4
* This work has been supported by: QTechnology http://qtec.com/
6
* SPDX-License-Identifier: GPL-2.0+
11
#include <asm/processor.h>
13
ulong __get_PCI_freq(void)
18
ulong get_PCI_freq(void) __attribute__((weak, alias("__get_PCI_freq")));
20
int __board_pre_init(void)
24
int board_pre_init(void) __attribute__((weak, alias("__board_pre_init")));
26
int __checkboard(void)
28
puts("Xilinx PPC405 Generic Board\n");
31
int checkboard(void) __attribute__((weak, alias("__checkboard")));
33
phys_size_t __initdram(int board_type)
35
return get_ram_size(XPAR_DDR2_SDRAM_MEM_BASEADDR,
36
CONFIG_SYS_SDRAM_SIZE_MB * 1024 * 1024);
38
phys_size_t initdram(int) __attribute__((weak, alias("__initdram")));
40
void __get_sys_info(sys_info_t *sysInfo)
42
sysInfo->freqProcessor = XPAR_CORE_CLOCK_FREQ_HZ;
43
sysInfo->freqPLB = XPAR_PLB_CLOCK_FREQ_HZ;
48
void get_sys_info(sys_info_t *) __attribute__((weak, alias("__get_sys_info")));