src/system/kernel/arch/arm/paging/ARMPagingStructures.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/ARMPagingStructures.h"
   8
   9
  10 ARMPagingStructures::ARMPagingStructures()
  11         :
  12         ref_count(1)
  13 {
  14 }
  15
  16
  17 ARMPagingStructures::~ARMPagingStructures()
  18 {
  19 }