// Copyright (c) 2007-2009 Nokia Corporation and/or its subsidiary(-ies).

 // All rights reserved.

 // This component and the accompanying materials are made available

 // under the terms of the License "Eclipse Public License v1.0"

 // which accompanies this distribution, and is available

 // at the URL "http://www.eclipse.org/legal/epl-v10.html".

 //

 // Initial Contributors:

 // Nokia Corporation - initial contribution.

 //

 // Contributors:

 //

 // Description:

 //

 /**

  @file

  @internalComponent

 */

 #ifndef MPDALLOC_H

 #define MPDALLOC_H

 class PageDirectoryAllocator

 	{

 public:

 	void Init2();

 	TInt Alloc(TUint aOsAsid, TPhysAddr& aPageDirectory);

 	void Free(TUint aOsAsid);

 	void GlobalPdeChanged(TPde* aPde);

 private:

 	void AssignPages(TUint aIndex, TUint aCount, TPhysAddr aPhysAddr);

 private:

 	TPhysAddr iKernelPageDirectory;

 	DMemoryObject* iPageDirectoryMemory;

 	TBitMapAllocator* iAllocator;

 	};

 extern PageDirectoryAllocator PageDirectories;

 #endif