#ifndef _ASM_IA64_XENSYSTEM_H
#define _ASM_IA64_XENSYSTEM_H
/*
 * xen specific context definition
 *
 * Copyright (C) 2005 Hewlett-Packard Co.
 *	Dan Magenheimer (dan.magenheimer@hp.com)
 *
 * Copyright (C) 2005 Intel Co.
 * 	Kun Tian (Kevin Tian) <kevin.tian@intel.com>
 *
 */
#include <asm/config.h>

/* Define HV space hierarchy.
   VMM memory space is protected by CPL for paravirtualized domains and
   by VA for VTi domains.  VTi imposes VA bit 60 != VA bit 59 for VMM.  */

#define HYPERVISOR_VIRT_START	 0xf000000000000000
#define __IA64_UNCACHED_OFFSET	 0xf200000000000000UL
#define DEFAULT_SHAREDINFO_ADDR	 0xf500000000000000
#define PERCPU_ADDR		 (DEFAULT_SHAREDINFO_ADDR - PERCPU_PAGE_SIZE)
#ifdef CONFIG_VIRTUAL_FRAME_TABLE
#define VIRT_FRAME_TABLE_ADDR	 0xf600000000000000
#define VIRT_FRAME_TABLE_END	 0xf700000000000000
#endif
#define HYPERVISOR_VIRT_END	 0xf800000000000000

#define PAGE_OFFSET		 __IA64_UL_CONST(0xf000000000000000)

#define XEN_VIRT_UC_BIT	 57

#define KERNEL_START		 0xf400000004000000
#define GATE_ADDR		 KERNEL_START

/* In order for Kexec between Xen and Linux to work EFI needs
 * to be mapped into the same place by both. It seems most convenient
 * to make Xen do the dirty work here */
#define __IA64_EFI_UNCACHED_OFFSET	0xc000000000000000UL
#define __IA64_EFI_CACHED_OFFSET	0xe000000000000000UL

#define IS_VMM_ADDRESS(addr) ((((addr) >> 60) ^ ((addr) >> 59)) & 1)

#endif // _ASM_IA64_XENSYSTEM_H