1139826Simp/* 253541Sshin * Copyright 2010, Ingo Weinhold, ingo_weinhold@gmx.de. 353541Sshin * Distributed under the terms of the MIT License. 453541Sshin */ 553541Sshin 653541Sshin 753541Sshin#include "paging/X86PagingMethod.h" 853541Sshin 953541Sshin 1053541SshinX86PagingMethod* gX86PagingMethod; 1153541Sshin 1253541Sshin 1353541SshinX86PagingMethod::~X86PagingMethod() 1453541Sshin{ 1553541Sshin} 1653541Sshin