* Copyright 2012, Alex Smith, alex@alex-smith.me.uk.
* Distributed under the terms of the MIT License.
*/
#ifndef KERNEL_ARCH_X86_PAGING_64BIT_X86_PAGING_STRUCTURES_64BIT_H
#define KERNEL_ARCH_X86_PAGING_64BIT_X86_PAGING_STRUCTURES_64BIT_H
#include "paging/64bit/paging.h"
#include "paging/X86PagingStructures.h"
struct X86PagingStructures64Bit final : X86PagingStructures {
X86PagingStructures64Bit();
virtual ~X86PagingStructures64Bit();
void Init(uint64* virtualPMLTop,
phys_addr_t physicalPMLTop);
virtual void Delete();
uint64* VirtualPMLTop()
{ return fVirtualPMLTop; }
private:
uint64* fVirtualPMLTop;
};
#endif
