# HG changeset patch
# User yamahata@xxxxxxxxxxxxx
# Node ID 54a51bbcf8460183781168cc0515790914ad2fb6
# Parent  a8793fb8e831a142598a4f9700c2055f82a4abf8
sync console before halt/reboot
PATCHNAME: sync_console_before_reboot

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

diff -r a8793fb8e831 -r 54a51bbcf846 xen/arch/ia64/xen/domain.c
--- a/xen/arch/ia64/xen/domain.c	Mon Jun 26 19:38:54 2006 +0900
+++ b/xen/arch/ia64/xen/domain.c	Mon Jun 26 19:40:46 2006 +0900
@@ -920,6 +920,7 @@ int construct_dom0(struct domain *d,
 
 void machine_restart(char * __unused)
 {
+	console_start_sync();
 	if (running_on_sim)
 		printf ("machine_restart called.  spinning...\n");
 	else
@@ -929,6 +930,7 @@ void machine_restart(char * __unused)
 
 void machine_halt(void)
 {
+	console_start_sync();
 	if (running_on_sim)
 		printf ("machine_halt called.  spinning...\n");
 	else