kernel/fiasco/src/kern/arm/kmem.cpp

   1 INTERFACE [arm]:
   2
   3 #include "kip.h"
   4 #include "mem_layout.h"
   5
   6 class Kmem : public Mem_layout
   7 {
   8 public:
   9
  10   static Mword is_kmem_page_fault( Mword pfa, Mword error );
  11   static Mword is_ipc_page_fault( Mword pfa, Mword error );
  12   static Mword is_io_bitmap_page_fault( Mword pfa );
  13
  14   static Mword ipc_window( unsigned num );
  15 };
  16
  17 //---------------------------------------------------------------------------
  18 IMPLEMENTATION [arm]:
  19
  20 IMPLEMENT inline
  21 Mword Kmem::is_kmem_page_fault( Mword pfa, Mword /*error*/ )
  22 {
  23   return in_kernel(pfa);
  24 }
  25
  26 IMPLEMENT inline
  27 Mword Kmem::is_io_bitmap_page_fault( Mword /*pfa*/ )
  28 {
  29   return 0;
  30 }