This source file includes following definitions.
- platform_init
 
   1 
   2 
   3 
   4 
   5 
   6 
   7 
   8 
   9 
  10 
  11 #include <stdarg.h>
  12 #include <stddef.h>
  13 #include "types.h"
  14 #include "elf.h"
  15 #include "string.h"
  16 #include "stdio.h"
  17 #include "page.h"
  18 #include "ops.h"
  19 #include "io.h"
  20 
  21 BSS_STACK(4096);
  22 
  23 void platform_init(unsigned long r3, unsigned long r4, unsigned long r5)
  24 {
  25         u32 heapsize = 0x8000000 - (u32)_end; 
  26 
  27         simple_alloc_init(_end, heapsize, 32, 64);
  28         fdt_init(_dtb_start);
  29         serial_console_init();
  30 }