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

   1 IMPLEMENTATION [arm && !armv6plus]:
   2
   3 #include "mem_layout.h"
   4 #include "paging.h"
   5 #include "panic.h"
   6 #include "vmem_alloc.h"
   7
   8 IMPLEMENT
   9 void
  10 Utcb_init::init()
  11 {
  12   if (!Vmem_alloc::page_alloc ((void *)Mem_layout::Utcb_ptr_page,
  13         Vmem_alloc::ZERO_FILL, Vmem_alloc::User))
  14     panic ("UTCB pointer page allocation failure");
  15 }
  16
  17 //-----------------------------------------------------------------------------
  18 IMPLEMENTATION [arm && armv6plus]:
  19
  20 IMPLEMENT inline void Utcb_init::init() {}