# HG changeset patch
# User Tristan Gingold <tgingold@xxxxxxx>
# Date 1191331313 -7200
# Node ID 5d8b23081846748848409d7b1577ad00a85fabe7
# Parent  fc05defecee0aaeb3c5ec722f90c580e0abbfb5d
Cleanup: remove useless #ifndef and indentation.

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

diff -r fc05defecee0 -r 5d8b23081846 xen/arch/ia64/vmx/vmx_init.c
--- a/xen/arch/ia64/vmx/vmx_init.c	Tue Oct 02 15:18:57 2007 +0200
+++ b/xen/arch/ia64/vmx/vmx_init.c	Tue Oct 02 15:21:53 2007 +0200
@@ -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 fc05defecee0 -r 5d8b23081846 xen/arch/ia64/vmx/vmx_interrupt.c
--- a/xen/arch/ia64/vmx/vmx_interrupt.c	Tue Oct 02 15:18:57 2007 +0200
+++ b/xen/arch/ia64/vmx/vmx_interrupt.c	Tue Oct 02 15:21:53 2007 +0200
@@ -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);
 }
-