|  | // SPDX-License-Identifier: GPL-2.0-only | 
|  | /* | 
|  | * Copyright (c) 2008 PIKA Technologies | 
|  | *   Sean MacLennan <smaclennan@pikatech.com> | 
|  | */ | 
|  |  | 
|  | #include "ops.h" | 
|  | #include "4xx.h" | 
|  | #include "cuboot.h" | 
|  | #include "stdio.h" | 
|  |  | 
|  | #define TARGET_4xx | 
|  | #define TARGET_44x | 
|  | #include "ppcboot.h" | 
|  |  | 
|  | static bd_t bd; | 
|  |  | 
|  | static void warp_fixups(void) | 
|  | { | 
|  | ibm440ep_fixup_clocks(66000000, 11059200, 50000000); | 
|  | ibm4xx_sdram_fixup_memsize(); | 
|  | ibm4xx_fixup_ebc_ranges("/plb/opb/ebc"); | 
|  | dt_fixup_mac_address_by_alias("ethernet0", bd.bi_enetaddr); | 
|  | } | 
|  |  | 
|  | void platform_init(unsigned long r3, unsigned long r4, unsigned long r5, | 
|  | unsigned long r6, unsigned long r7) | 
|  | { | 
|  | CUBOOT_INIT(); | 
|  |  | 
|  | platform_ops.fixups = warp_fixups; | 
|  | platform_ops.exit = ibm44x_dbcr_reset; | 
|  | fdt_init(_dtb_start); | 
|  | serial_console_init(); | 
|  | } |