1 files changed, 0 insertions, 10 deletions
diff --git a/hw/ppc.c b/hw/ppc.c
index 5baeeafb3d..2a77eb9bff 100644
--- a/hw/ppc.c
+++ b/hw/ppc.c
@@ -1085,16 +1085,6 @@ int ppc_dcr_init (CPUState *env, int (*read_error)(int dcrn),
     return 0;
 }
 
-#if 0
-/*****************************************************************************/
-/* Handle system reset (for now, just stop emulation) */
-void cpu_reset(CPUState *env)
-{
-    printf("Reset asked... Stop emulation\n");
-    abort();
-}
-#endif
-
 /*****************************************************************************/
 /* Debug port */
 void PPC_debug_write (void *opaque, uint32_t addr, uint32_t val)