pc-bios/vof/bootmem.c

   1 #include "vof.h"
   2
   3 void boot_from_memory(uint64_t initrd, uint64_t initrdsize)
   4 {
   5     uint64_t kern[2];
   6     phandle chosen = ci_finddevice("/chosen");
   7
   8     if (ci_getprop(chosen, "qemu,boot-kernel", kern, sizeof(kern)) !=
   9         sizeof(kern)) {
  10         return;
  11     }
  12
  13     do_boot(kern[0], initrd, initrdsize);
  14 }