# HG changeset patch
# User Alex Williamson <alex.williamson@xxxxxx>
# Date 1206385805 21600
# Node ID bcf06182b795eb39095e7aa32304577047aa1c59
# Parent e768be7bf56162347c1facf3b71e88d19f639599
[IA64] Fix warnings
Signed-off-by: Tristan Gingold <tgingold@xxxxxxx>
---
xen/arch/ia64/vmx/vmx_init.c | 6 ++----
1 files changed, 2 insertions(+), 4 deletions(-)
diff -r e768be7bf561 -r bcf06182b795 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 13:10:05 2008 -0600
@@ -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]);
_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog
|