#include <common.h>
 #include <asm/processor.h>
 
-ulong __get_PCI_freq(void)
+ulong get_PCI_freq(void)
 {
        return 0;
 }
 
-ulong get_PCI_freq(void) __attribute__((weak, alias("__get_PCI_freq")));
-
-int __board_pre_init(void)
+int board_pre_init(void)
 {
        return 0;
 }
-int board_pre_init(void) __attribute__((weak, alias("__board_pre_init")));
 
-int __checkboard(void)
+int checkboard(void)
 {
        puts("Xilinx PPC405 Generic Board\n");
        return 0;
 }
-int checkboard(void) __attribute__((weak, alias("__checkboard")));
 
-phys_size_t __initdram(int board_type)
+phys_size_t initdram(int board_type)
 {
        return get_ram_size(XPAR_DDR2_SDRAM_MEM_BASEADDR,
                            CONFIG_SYS_SDRAM_SIZE_MB * 1024 * 1024);
 }
-phys_size_t initdram(int) __attribute__((weak, alias("__initdram")));
 
-void __get_sys_info(sys_info_t *sysInfo)
+void get_sys_info(sys_info_t *sys_info)
 {
-       sysInfo->freqProcessor = XPAR_CORE_CLOCK_FREQ_HZ;
-       sysInfo->freqPLB = XPAR_PLB_CLOCK_FREQ_HZ;
-       sysInfo->freqPCI = 0;
+       sys_info->freqProcessor = XPAR_CORE_CLOCK_FREQ_HZ;
+       sys_info->freqPLB = XPAR_PLB_CLOCK_FREQ_HZ;
+       sys_info->freqPCI = 0;
 
        return;
 }
-void get_sys_info(sys_info_t *) __attribute__((weak, alias("__get_sys_info")));
 
 int get_serial_clock(void){
        return XPAR_UARTNS550_0_CLOCK_FREQ_HZ;