# HG changeset patch
# User Jimi Xenidis <jimix@watson.ibm.com>
# Date 1164750233 18000
# Node ID dbc7ea73f5b2cdeaff3beb2129fe6e11ecf46019
# Parent  768bf8f273fb67ceb4351472b91c2bd7c82cbc62
[XEN][POWERPC] secondary_cpu_init() does not return.
Signed-off-by: Jimi Xenidis <jimix@watson.ibm.com>
Signed-off-by: Hollis Blanchard <hollisb@us.ibm.com>

diff -r 768bf8f273fb -r dbc7ea73f5b2 xen/arch/powerpc/exceptions.h
--- a/xen/arch/powerpc/exceptions.h	Tue Nov 28 10:33:53 2006 -0500
+++ b/xen/arch/powerpc/exceptions.h	Tue Nov 28 16:43:53 2006 -0500
@@ -52,5 +52,5 @@ extern ulong *__hypercall_table[];
 extern char exception_vectors[];
 extern char exception_vectors_end[];
 extern int spin_start[];
-extern int secondary_cpu_init(int cpuid, unsigned long r4);
+extern void secondary_cpu_init(int cpuid, unsigned long r4);
 #endif
diff -r 768bf8f273fb -r dbc7ea73f5b2 xen/arch/powerpc/setup.c
--- a/xen/arch/powerpc/setup.c	Tue Nov 28 10:33:53 2006 -0500
+++ b/xen/arch/powerpc/setup.c	Tue Nov 28 16:43:53 2006 -0500
@@ -256,7 +256,7 @@ static int kick_secondary_cpus(int maxcp
 }
 
 /* This is the first C code that secondary processors invoke.  */
-int secondary_cpu_init(int cpuid, unsigned long r4)
+void secondary_cpu_init(int cpuid, unsigned long r4)
 {
     struct vcpu *vcpu;
 
@@ -274,7 +274,7 @@ int secondary_cpu_init(int cpuid, unsign
     idle_vcpu[cpuid] = current;
     startup_cpu_idle_loop();
 
-    while(1);
+    panic("should never get here\n");
 }
 
 static void __init __start_xen(multiboot_info_t *mbi)