/* * Copyright 2010, Ingo Weinhold, ingo_weinhold@gmx.de. * Distributed under the terms of the MIT License. */ #include "paging/PPCPagingStructures.h" PPCPagingStructures::PPCPagingStructures() : ref_count(1) { } PPCPagingStructures::~PPCPagingStructures() { }