/* Copyright (c) 2007, Sandia National Laboratories */

#ifndef _ARCH_X86_64_ASPACE_H
#define _ARCH_X86_64_ASPACE_H

#ifdef __KERNEL__
#include <arch/page_table.h>

struct arch_aspace {
	xpte_t *pgd;	/* Page global directory... root page table */
};
#endif

#define SMARTMAP_ALIGN	0x8000000000UL  /* Each PML4T entry covers 512 GB */

#endif