# HG changeset patch
# User Tristan Gingold <tgingold@xxxxxxx>
# Date 1189914811 -7200
# Node ID 07aa98de0051eba58e7c1a1bb9e16c979208d8ee
# Parent  fadf4ea206b15dc84f231997a1dd9438218856b8
Fill more registers for vcpu_getcontext.

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

diff -r fadf4ea206b1 -r 07aa98de0051 xen/arch/ia64/xen/domain.c
--- a/xen/arch/ia64/xen/domain.c	Sun Sep 16 05:02:25 2007 +0200
+++ b/xen/arch/ia64/xen/domain.c	Sun Sep 16 05:53:31 2007 +0200
@@ -734,7 +734,26 @@ void arch_get_info_guest(struct vcpu *v,
 		return;
 
 	vcpu_get_dcr (v, &c.nat->regs.cr.dcr);
+
+	c.nat->regs.cr.itm = v->domain->arch.is_vti ?
+		vmx_vcpu_get_itm (v) : PSCBX(v, domain_itm);
 	vcpu_get_iva (v, &c.nat->regs.cr.iva);
+	vcpu_get_pta (v, &c.nat->regs.cr.pta);
+
+	vcpu_get_ipsr (v, &c.nat->regs.cr.ipsr);
+	vcpu_get_isr (v, &c.nat->regs.cr.isr);
+	vcpu_get_iip (v, &c.nat->regs.cr.iip);
+	vcpu_get_ifa (v, &c.nat->regs.cr.ifa);
+	vcpu_get_ivr (v, &c.nat->regs.cr.ivr);
+
+	vcpu_get_tpr (v, &c.nat->regs.cr.tpr);
+	vcpu_get_irr0 (v, &c.nat->regs.cr.irr[0]);
+	vcpu_get_irr1 (v, &c.nat->regs.cr.irr[1]);
+	vcpu_get_irr2 (v, &c.nat->regs.cr.irr[2]);
+	vcpu_get_irr3 (v, &c.nat->regs.cr.irr[3]);
+	vcpu_get_itv (v, &c.nat->regs.cr.itv);
+	vcpu_get_pmv (v, &c.nat->regs.cr.pmv);
+	vcpu_get_cmcv (v, &c.nat->regs.cr.cmcv);
 }
 
 int arch_set_info_guest(struct vcpu *v, vcpu_guest_context_u c)