This source file includes following definitions.
- platform_fixups
- platform_init
   1 
   2 
   3 
   4 
   5 
   6 
   7 
   8 
   9 
  10 
  11 #include "ops.h"
  12 #include "stdio.h"
  13 #include "redboot.h"
  14 #include "fsl-soc.h"
  15 #include "io.h"
  16 
  17 static bd_t bd;
  18 BSS_STACK(4096);
  19 
  20 #define MHZ(x)  ((x + 500000) / 1000000)
  21 
  22 static void platform_fixups(void)
  23 {
  24         void *node;
  25 
  26         dt_fixup_memory(bd.bi_memstart, bd.bi_memsize);
  27         dt_fixup_mac_addresses(bd.bi_enetaddr);
  28         dt_fixup_cpu_clocks(bd.bi_intfreq, bd.bi_busfreq / 16, bd.bi_busfreq);
  29 
  30         node = finddevice("/soc/cpm/brg");
  31         if (node) {
  32                 printf("BRG clock-frequency <- 0x%x (%dMHz)\r\n",
  33                        bd.bi_busfreq, MHZ(bd.bi_busfreq));
  34                 setprop(node, "clock-frequency",  &bd.bi_busfreq, 4);
  35         }
  36 
  37 }
  38 
  39 void platform_init(unsigned long r3, unsigned long r4, unsigned long r5,
  40                    unsigned long r6, unsigned long r7)
  41 {
  42         memcpy(&bd, (char *)r3, sizeof(bd));
  43 
  44         if (bd.bi_tag != 0x42444944)
  45                 return;
  46 
  47         simple_alloc_init(_end,
  48                           bd.bi_memstart + bd.bi_memsize - (unsigned long)_end,
  49                           32, 64);
  50 
  51         fdt_init(_dtb_start);
  52         serial_console_init();
  53         platform_ops.fixups = platform_fixups;
  54 
  55         loader_info.cmdline = (char *)bd.bi_cmdline;
  56         loader_info.cmdline_len = strlen((char *)bd.bi_cmdline);
  57 }