[IA64] Sync public headers

For NITRS/NDTRS patch

Signed-off-by: Alex Williamson <alex.williamson@hp.com>

diff --cc include/xen/interface/arch-ia64.h
index 511998bca00ede6eeccd949b23788f925975d0ae,d65a48631a3776962ffe970a64408c5747739482..02d2ebd005abc2e3a6124bc1cf278cb22f95a305
--- 1/include/xen/interface/arch-ia64.h
--- 2/include/xen/interface/arch-ia64.h
+++ b/include/xen/interface/arch-ia64.h
@@@ -297,8 -297,8 +297,8 @@@ typedef struct ia64_tr_entry ia64_tr_en
  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,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 -421,7 +422,7 @@@
  };
  
  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 --cc include/xen/interface/foreign/reference.size
index 853e8194ace00e8e308afb7b5aaa67b77c74780b,853e8194ace00e8e308afb7b5aaa67b77c74780b..ead6cd1559583dbe4a54fa913f4f448a5f049e36
--- 1/include/xen/interface/foreign/reference.size
--- 2/include/xen/interface/foreign/reference.size
+++ b/include/xen/interface/foreign/reference.size
@@@ -7,9 -7,9 +7,9 @@@ pt_fpreg                  |       
  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