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