// 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