# HG changeset patch
# User Tristan Gingold <tgingold@xxxxxxx>
# Date 1206342217 -3600
# Node ID a88bb92e579000faadefe911f7571205d280fbab
# Parent  e768be7bf56162347c1facf3b71e88d19f639599
Fix warnings.

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

diff -r e768be7bf561 -r a88bb92e5790 xen/arch/ia64/vmx/vmx_init.c
--- a/xen/arch/ia64/vmx/vmx_init.c	Thu Mar 20 14:29:09 2008 -0600
+++ b/xen/arch/ia64/vmx/vmx_init.c	Mon Mar 24 08:03:37 2008 +0100
@@ -308,11 +308,9 @@ void
 void
 vmx_save_state(struct vcpu *v)
 {
-	u64 status;
-
 	BUG_ON(v != current);
 	
-	ia64_call_vsa(PAL_VPS_SAVE, v->arch.privregs, 0, 0, 0, 0, 0, 0);
+	ia64_call_vsa(PAL_VPS_SAVE, (u64)v->arch.privregs, 0, 0, 0, 0, 0, 0);
 
 	/* Need to save KR when domain switch, though HV itself doesn;t
 	 * use them.
@@ -336,7 +334,7 @@ vmx_load_state(struct vcpu *v)
 	vmx_load_all_rr(v);
 
 	/* vmx_load_all_rr() pins down v->arch.privregs with both dtr/itr*/
-	ia64_call_vsa(PAL_VPS_RESTORE, v->arch.privregs, 0, 0, 0, 0, 0, 0);
+	ia64_call_vsa(PAL_VPS_RESTORE, (u64)v->arch.privregs, 0, 0, 0, 0, 0, 0);
 
 	ia64_set_kr(0, v->arch.arch_vmx.vkr[0]);
 	ia64_set_kr(1, v->arch.arch_vmx.vkr[1]);