src/system/kernel/arch/m68k/paging/040/M68KPagingStructures040.h

   1 /*
   2  * Copyright 2010, Ingo Weinhold, ingo_weinhold@gmx.de.
   3  * Distributed under the terms of the MIT License.
   4  */
   5 #ifndef KERNEL_ARCH_M68K_PAGING_040_M68K_PAGING_STRUCTURES_040_H
   6 #define KERNEL_ARCH_M68K_PAGING_040_M68K_PAGING_STRUCTURES_040_H
   7
   8
   9 #include "paging/040/paging.h"
  10 #include "paging/M68KPagingStructures.h"
  11
  12
  13 struct M68KPagingStructures040 : M68KPagingStructures {
  14         page_root_entry*                pgroot_virt;
  15
  16                                                                 M68KPagingStructures040();
  17         virtual                                         ~M68KPagingStructures040();
  18
  19                         void                            Init(page_root_entry* virtualPageRoot,
  20                                                                          phys_addr_t physicalPageRoot,
  21                                                                          page_root_entry* kernelPageRoot);
  22
  23         virtual void                            Delete();
  24
  25         static  void                            StaticInit();
  26         static  void                            UpdateAllPageDirs(int index,
  27                                                                         page_directory_entry entry);
  28 };
  29
  30
  31 #endif  // KERNEL_ARCH_M68K_PAGING_040_M68K_PAGING_STRUCTURES_040_H