/*
 * Copyright 2010, Ingo Weinhold, ingo_weinhold@gmx.de.
 * Distributed under the terms of the MIT License.
 */
#ifndef KERNEL_ARCH_X86_PAGING_PAE_X86_PAGING_STRUCTURES_PAE_H
#define KERNEL_ARCH_X86_PAGING_PAE_X86_PAGING_STRUCTURES_PAE_H


#include "paging/pae/paging.h"
#include "paging/X86PagingStructures.h"


#if B_HAIKU_PHYSICAL_BITS == 64


struct X86PagingStructuresPAE : X86PagingStructures {
								X86PagingStructuresPAE();
	virtual						~X86PagingStructuresPAE();

			void				Init(pae_page_directory_pointer_table_entry*
										virtualPDPT,
									 phys_addr_t physicalPDPT, void* pdptHandle,
									 pae_page_directory_entry* const*
									 	virtualPageDirs,
									 const phys_addr_t* physicalPageDirs);

	virtual	void				Delete();

			pae_page_directory_entry* const* VirtualPageDirs() const
									{ return fVirtualPageDirs; }

private:
			pae_page_directory_pointer_table_entry* fPageDirPointerTable;
			void*				fPageDirPointerTableHandle;
			pae_page_directory_entry* fVirtualPageDirs[4];
			phys_addr_t			fPhysicalPageDirs[4];
};


#endif	// B_HAIKU_PHYSICAL_BITS == 64


#endif	// KERNEL_ARCH_X86_PAGING_PAE_X86_PAGING_STRUCTURES_PAE_H