kernel/fiasco/src/kern/ppc32/utcb_init-ppc32.cpp

   1 IMPLEMENTATION [ppc32]:
   2
   3 #include "mem_layout.h"
   4 #include "config.h"
   5 #include <cstring>
   6
   7
   8 IMPLEMENT
   9 void
  10 Utcb_init::init()
  11 {
  12   //Utcb_ptr_page is physical address
  13   memset((void*)Mem_layout::Utcb_ptr_page, 0, Config::PAGE_SIZE);
  14 }
  15
  16 PUBLIC static inline
  17 void
  18 Utcb_init::init_ap(Cpu const &)
  19 {}
  20