PERFORCE change 119431 for review

[Bruce M Simpson]

http://perforce.freebsd.org/chv.cgi?CH=119431

Change 119431 by bms at bms_anglepoise on 2007/05/07 17:11:58

	Use CFE firmware to reset the Sentry5 platform; don't make assumptions
	about the external interface core being present, for now.

Affected files ...

.. //depot/projects/mips2/src/sys/mips/mips/machdep.c#32 edit

Differences ...

==== //depot/projects/mips2/src/sys/mips/mips/machdep.c#32 (text+ko) ====

@@ -74,11 +74,6 @@
 #include <dev/cfe/cfe_api.h>
 #endif
 
-#ifdef CPU_SENTRY5
-/* XXX */
-void sentry5_reset(void);
-#endif
-
 #ifdef DDB
 #include <ddb/ddb.h>
 #endif
@@ -502,9 +497,8 @@
 platform_reset(void)
 {
 
-#ifdef CPU_SENTRY5
-	/* Yes yes I know this is a mess. */
-	sentry5_reset();
+#if defined(CFE)
+	cfe_exit(0, 0);
 #endif
 }