# HG changeset patch
# User Alex Williamson <alex.williamson@xxxxxx>
# Date 1191340767 21600
# Node ID c95959a0cf9c73a5d8ebab3bb3c965d8f9a7abc8
# Parent df985cc06100b215a0f372acff5aa46e459f4f91
[IA64] Cleanup: remove useless #ifndef and indentation.
Signed-off-by: Tristan Gingold <tgingold@xxxxxxx>
---
xen/arch/ia64/vmx/vmx_init.c | 2 --
xen/arch/ia64/vmx/vmx_interrupt.c | 3 ---
2 files changed, 5 deletions(-)
diff -r df985cc06100 -r c95959a0cf9c xen/arch/ia64/vmx/vmx_init.c
--- a/xen/arch/ia64/vmx/vmx_init.c Tue Oct 02 09:58:09 2007 -0600
+++ b/xen/arch/ia64/vmx/vmx_init.c Tue Oct 02 09:59:27 2007 -0600
@@ -316,11 +316,9 @@ vmx_final_setup_guest(struct vcpu *v)
/* Per-domain vTLB and vhpt implementation. Now vmx domain will stick
* to this solution. Maybe it can be deferred until we know created
* one as vmx domain */
-#ifndef HASH_VHPT
rc = init_domain_tlb(v);
if (rc)
return rc;
-#endif
vmx_create_event_channels(v);
/* v->arch.schedule_tail = arch_vmx_do_launch; */
diff -r df985cc06100 -r c95959a0cf9c xen/arch/ia64/vmx/vmx_interrupt.c
--- a/xen/arch/ia64/vmx/vmx_interrupt.c Tue Oct 02 09:58:09 2007 -0600
+++ b/xen/arch/ia64/vmx/vmx_interrupt.c Tue Oct 02 09:59:27 2007 -0600
@@ -220,8 +220,6 @@ _vhpt_fault(VCPU *vcpu, u64 vadr)
/* If vPSR.ic, IFA, ITIR, IHA*/
set_ifa_itir_iha (vcpu, vadr, 1, 1, 1);
inject_guest_interruption(vcpu,IA64_VHPT_TRANS_VECTOR);
-
-
}
/*
@@ -425,4 +423,3 @@ data_access_rights(VCPU *vcpu, u64 vadr)
set_ifa_itir_iha (vcpu, vadr, 1, 1, 0);
inject_guest_interruption(vcpu, IA64_DATA_ACCESS_RIGHTS_VECTOR);
}
-
_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog
|