src/system/kernel/arch/x86/paging/X86PagingMethod.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/X86PagingMethod.h"
   8
   9
  10 X86PagingMethod* gX86PagingMethod;
  11
  12
  13 X86PagingMethod::~X86PagingMethod()
  14 {
  15 }