ia64/xen-unstable

changeset 17291:bcf06182b795

[IA64] Fix warnings

Signed-off-by: Tristan Gingold <tgingold@free.fr>
author Alex Williamson <alex.williamson@hp.com>
date Mon Mar 24 13:10:05 2008 -0600 (2008-03-24)
parents e768be7bf561
children dba5f548b894
files xen/arch/ia64/vmx/vmx_init.c
line diff
     1.1 --- a/xen/arch/ia64/vmx/vmx_init.c	Thu Mar 20 14:29:09 2008 -0600
     1.2 +++ b/xen/arch/ia64/vmx/vmx_init.c	Mon Mar 24 13:10:05 2008 -0600
     1.3 @@ -308,11 +308,9 @@ vmx_create_vp(struct vcpu *v)
     1.4  void
     1.5  vmx_save_state(struct vcpu *v)
     1.6  {
     1.7 -	u64 status;
     1.8 -
     1.9  	BUG_ON(v != current);
    1.10  	
    1.11 -	ia64_call_vsa(PAL_VPS_SAVE, v->arch.privregs, 0, 0, 0, 0, 0, 0);
    1.12 +	ia64_call_vsa(PAL_VPS_SAVE, (u64)v->arch.privregs, 0, 0, 0, 0, 0, 0);
    1.13  
    1.14  	/* Need to save KR when domain switch, though HV itself doesn;t
    1.15  	 * use them.
    1.16 @@ -336,7 +334,7 @@ vmx_load_state(struct vcpu *v)
    1.17  	vmx_load_all_rr(v);
    1.18  
    1.19  	/* vmx_load_all_rr() pins down v->arch.privregs with both dtr/itr*/
    1.20 -	ia64_call_vsa(PAL_VPS_RESTORE, v->arch.privregs, 0, 0, 0, 0, 0, 0);
    1.21 +	ia64_call_vsa(PAL_VPS_RESTORE, (u64)v->arch.privregs, 0, 0, 0, 0, 0, 0);
    1.22  
    1.23  	ia64_set_kr(0, v->arch.arch_vmx.vkr[0]);
    1.24  	ia64_set_kr(1, v->arch.arch_vmx.vkr[1]);