# HG changeset patch
# User yamahata@xxxxxxxxxxxxx
# Node ID fb150ba576a04ecce805128145a65e71dec0ed38
# Parent  34ac5c89f47e1f0001b880497ee7b72a5af30a9c
sync console before reset.
PATCHNAME: sync_console_before_reset

Signed-off-by: Isaku Yamahata <yamahata@xxxxxxxxxxxxx>

diff -r 34ac5c89f47e -r fb150ba576a0 xen/arch/ia64/xen/fw_emul.c
--- a/xen/arch/ia64/xen/fw_emul.c	Mon Jul 03 11:28:40 2006 +0900
+++ b/xen/arch/ia64/xen/fw_emul.c	Mon Jul 03 11:28:46 2006 +0900
@@ -343,6 +343,7 @@ xen_pal_emulator(unsigned long index, u6
 	    case PAL_HALT:
 		    if (current->domain == dom0) {
 			    printf ("Domain0 halts the machine\n");
+			    console_start_sync();
 			    (*efi.reset_system)(EFI_RESET_SHUTDOWN,0,0,NULL);
 		    }
 		    else