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 10ARMPagingStructures::ARMPagingStructures() 11 : 12 ref_count(1) 13{ 14} 15 16 17ARMPagingStructures::~ARMPagingStructures() 18{ 19} 20