# HG changeset patch
# User gingold@saphi
# Node ID 93f82678d2547991df976858d97e06856af6c15a
# Parent  72dd57f88de3b7c2135c4d01c8aa13f71e7a32c6
Cleanup: remove unused code.

Signed-off-by: Tristan Gingold <tgingold@xxxxxxx>

diff -r 72dd57f88de3 -r 93f82678d254 xen/include/asm-ia64/vmx.h
--- a/xen/include/asm-ia64/vmx.h	Sat Feb 17 03:28:54 2007
+++ b/xen/include/asm-ia64/vmx.h	Sat Feb 17 03:38:01 2007
@@ -22,7 +22,6 @@
 #ifndef _ASM_IA64_VT_H
 #define _ASM_IA64_VT_H
 
-#define RR7_SWITCH_SHIFT	12	/* 4k enough */
 #include <public/hvm/ioreq.h>
 #define vmx_user_mode(regs) (((struct ia64_psr *)&(regs)->cr_ipsr)->vm == 1)
 
@@ -60,27 +59,4 @@
 {
     return &((shared_iopage_t *)d->arch.vmx_platform.shared_page_va)->vcpu_iodata[cpu];
 }
-
-static inline shared_iopage_t *get_sp(struct domain *d)
-{
-    return (shared_iopage_t *)d->arch.vmx_platform.shared_page_va;
-}
-
-typedef unsigned long (*vmx_mmio_read_t)(struct vcpu *v,
-                                         unsigned long addr,
-                                         unsigned long length);
-
-typedef void (*vmx_mmio_write_t)(struct vcpu *v,
-                                 unsigned long addr,
-                                 unsigned long length,
-                                 unsigned long val);
-
-typedef int (*vmx_mmio_check_t)(struct vcpu *v, unsigned long addr);
-
-struct vmx_mmio_handler {
-    vmx_mmio_check_t check_handler;
-    vmx_mmio_read_t read_handler;
-    vmx_mmio_write_t write_handler;
-};
-
 #endif /* _ASM_IA64_VT_H */