kernel/fiasco/src/kern/ppc32/bsp/mpc52xx/boot_info-mpc52xx.cpp

   1 IMPLEMENTATION[ppc32 && mpc52xx]:
   2
   3 #include<ppc_types.h>
   4
   5 IMPLEMENT static
   6 Address Boot_info::uart_base()
   7 {
   8   Of_device *dev = get_device((char*)"serial", (char*)"serial");
   9   return dev ? dev->reg : 0;
  10 }
  11
  12 IMPLEMENT static
  13 Address Boot_info::pic_base()
  14 {
  15   Of_device *dev = get_device((char*)"pic", NULL);
  16   return dev ? dev->reg : 0;
  17 }
  18
  19 PUBLIC static
  20 Address Boot_info::mbar()
  21 {
  22   Of_device *dev = get_device("builtin", NULL);
  23
  24   return dev ? dev->reg : 0;
  25 }