# HG changeset patch
# User Tristan Gingold <tgingold@xxxxxxx>
# Date 1193631279 -3600
# Node ID 219de952ed630f9118de2981d754c1029b242db4
# Parent  6e6eab061b9f9708afb50e9ceaa82fa21156ae69
Bump NITRS/NDTRS to 12.
(VMS needs at least 9 DTRS).

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

diff -r 6e6eab061b9f -r 219de952ed63 xen/include/asm-ia64/tlb.h
--- a/xen/include/asm-ia64/tlb.h	Sun Oct 28 06:45:38 2007 +0100
+++ b/xen/include/asm-ia64/tlb.h	Mon Oct 29 05:14:39 2007 +0100
@@ -1,8 +1,8 @@
 #ifndef XEN_ASM_IA64_TLB_H
 #define XEN_ASM_IA64_TLB_H
 
-#define	NITRS	8
-#define NDTRS	8
+#define NITRS	12
+#define NDTRS	12
 
 union pte_flags {
     struct {
diff -r 6e6eab061b9f -r 219de952ed63 xen/include/public/arch-ia64.h
--- a/xen/include/public/arch-ia64.h	Sun Oct 28 06:45:38 2007 +0100
+++ b/xen/include/public/arch-ia64.h	Mon Oct 29 05:14:39 2007 +0100
@@ -297,8 +297,8 @@ DEFINE_XEN_GUEST_HANDLE(ia64_tr_entry_t)
 DEFINE_XEN_GUEST_HANDLE(ia64_tr_entry_t);
 
 struct vcpu_tr_regs {
-    struct ia64_tr_entry itrs[8];
-    struct ia64_tr_entry dtrs[8];
+    struct ia64_tr_entry itrs[12];
+    struct ia64_tr_entry dtrs[12];
 };
 
 union vcpu_ar_regs {
@@ -402,6 +402,7 @@ struct vcpu_guest_context_regs {
 
         /* Physical registers in case of debug event.  */
         unsigned long excp_iipa;
+        unsigned long excp_ifa;
         unsigned long excp_isr;
         unsigned int excp_vector;
 
@@ -421,7 +422,7 @@ struct vcpu_guest_context_regs {
 };
 
 struct vcpu_guest_context {
-#define VGCF_EXTRA_REGS (1UL << 1)	/* Get/Set extra regs.  */
+#define VGCF_EXTRA_REGS (1UL << 1)	/* Set extra regs.  */
     unsigned long flags;       /* VGCF_* flags */
 
     struct vcpu_guest_context_regs regs;
diff -r 6e6eab061b9f -r 219de952ed63 xen/include/public/foreign/reference.size
--- a/xen/include/public/foreign/reference.size	Sun Oct 28 06:45:38 2007 +0100
+++ b/xen/include/public/foreign/reference.size	Mon Oct 29 05:14:39 2007 +0100
@@ -7,9 +7,9 @@ cpu_user_regs             |      68     
 cpu_user_regs             |      68     200       -
 xen_ia64_boot_param       |       -       -      96
 ia64_tr_entry             |       -       -      32
-vcpu_tr_regs              |       -       -     512
-vcpu_guest_context_regs   |       -       -   21904
-vcpu_guest_context        |    2800    5168   21936
+vcpu_tr_regs              |       -       -     768
+vcpu_guest_context_regs   |       -       -   22176
+vcpu_guest_context        |    2800    5168   22208
 arch_vcpu_info            |      24      16       0
 vcpu_time_info            |      32      32      32
 vcpu_info                 |      64      64      48