# HG changeset patch
# User tristan.gingold@xxxxxxxx
# Node ID 8d59d46de883224dd798f14f4790b2b6ce516954
# Parent  9afd25b90af4b7908acd0dd82996f9331ce94cfa
EFI_RESET_SYSTEM now reboots domU.

Signed-off-by: Tristan Gingold <tristan.gingold@xxxxxxxx>

diff -r 9afd25b90af4 -r 8d59d46de883 xen/arch/ia64/xen/dom_fw.c
--- a/xen/arch/ia64/xen/dom_fw.c	Mon Mar 20 16:56:58 2006
+++ b/xen/arch/ia64/xen/dom_fw.c	Tue Mar 21 08:21:37 2006
@@ -18,6 +18,7 @@
 #include <xen/acpi.h>
 
 #include <asm/dom_fw.h>
+#include <public/sched.h>
 
 static struct ia64_boot_param *dom_fw_init(struct domain *, char *,int,char *,int);
 extern unsigned long domain_mpa_to_imva(struct domain *,unsigned long mpaddr);
@@ -324,7 +325,8 @@
 			    (*efi.reset_system)(EFI_RESET_SHUTDOWN,0,0,NULL);
 		    }
 		    else
-			    domain_shutdown (current->domain, 0);
+			    domain_shutdown (current->domain,
+					     SHUTDOWN_poweroff);
 		    break;
 	    default:
 		printk("xen_pal_emulator: UNIMPLEMENTED PAL CALL %lu!!!!\n",
diff -r 9afd25b90af4 -r 8d59d46de883 xen/arch/ia64/xen/hypercall.c
--- a/xen/arch/ia64/xen/hypercall.c	Mon Mar 20 16:56:58 2006
+++ b/xen/arch/ia64/xen/hypercall.c	Tue Mar 21 08:21:37 2006
@@ -196,7 +196,8 @@
 			printf("(by dom0)\n ");
 			(*efi.reset_system)(EFI_RESET_WARM,0,0,NULL);
 		}
-		printf("(not supported for non-0 domain)\n");
+		else
+			domain_shutdown (current->domain, SHUTDOWN_reboot);
 		regs->r8 = EFI_UNSUPPORTED;
 		break;
 	    case FW_HYPERCALL_EFI_GET_TIME: