src/system/kernel/arch/x86/paging/X86PagingStructures.cpp

   1 /*
   2  * Copyright 2010, Ingo Weinhold, ingo_weinhold@gmx.de.
   3  * Distributed under the terms of the MIT License.
   4  */
   5
   6
   7 #include "paging/X86PagingStructures.h"
   8
   9
  10 X86PagingStructures::X86PagingStructures()
  11         :
  12         ref_count(1)
  13 {
  14 }
  15
  16
  17 X86PagingStructures::~X86PagingStructures()
  18 {
  19 }