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