* Copyright 2010, Ingo Weinhold, ingo_weinhold@gmx.de.
* Distributed under the terms of the MIT License.
*/
#ifndef KERNEL_ARCH_PPC_PAGING_460_PPC_PAGING_STRUCTURES_460_H
#define KERNEL_ARCH_PPC_PAGING_460_PPC_PAGING_STRUCTURES_460_H
#include <arch_mmu.h>
#include "paging/PPCPagingStructures.h"
struct PPCPagingStructures460 : PPCPagingStructures {
PPCPagingStructures460();
virtual ~PPCPagingStructures460();
void Init(
phys_addr_t physicalPageDir,
page_directory_entry* kernelPageDir,*/
page_table_entry_group *pageTable);
virtual void Delete();
static void StaticInit();
static void UpdateAllPageDirs(int index,
page_table_entry_group entry);
};
#endif