/*
 * Copyright 2012, Alex Smith, alex@alex-smith.me.uk.
 * Distributed under the terms of the MIT License.
 */


#include "paging/64bit/X86PagingStructures64Bit.h"

#include <stdlib.h>
#include <string.h>

#include <KernelExport.h>

#include <int.h>

#include "paging/64bit/X86PagingMethod64Bit.h"


X86PagingStructures64Bit::X86PagingStructures64Bit()
	:
	fVirtualPMLTop(NULL)
{
}


X86PagingStructures64Bit::~X86PagingStructures64Bit()
{
	// Free the PMLTop.
	free(fVirtualPMLTop);
}


void
X86PagingStructures64Bit::Init(uint64* virtualPMLTop,
	phys_addr_t physicalPMLTop)
{
	fVirtualPMLTop = virtualPMLTop;
	pgdir_phys = physicalPMLTop;
}


void
X86PagingStructures64Bit::Delete()
{
	if (are_interrupts_enabled())
		delete this;
	else
		deferred_delete(this);
}