[PATCH 4/8] boot: export flush_cache

[Milton Miller]

Move the declaration of flush_cache to ops.h for use by platform code.

Signed-off-by: Milton Miller <miltonm at bga.com>
--
Compiles and links with user, and that is the purpose.

Index: kernel/arch/powerpc/boot/main.c
===================================================================
--- kernel.orig/arch/powerpc/boot/main.c	2007-03-21 02:13:49.000000000 -0500
+++ kernel/arch/powerpc/boot/main.c	2007-03-21 02:15:06.000000000 -0500
@@ -18,8 +18,6 @@
 #include "gunzip_util.h"
 #include "flatdevtree.h"
 
-extern void flush_cache(void *, unsigned long);
-
 extern char _start[];
 extern char __bss_start[];
 extern char _end[];
Index: kernel/arch/powerpc/boot/ops.h
===================================================================
--- kernel.orig/arch/powerpc/boot/ops.h	2007-03-21 02:13:49.000000000 -0500
+++ kernel/arch/powerpc/boot/ops.h	2007-03-21 02:15:06.000000000 -0500
@@ -72,7 +72,7 @@ int serial_console_init(void);
 int ns16550_console_init(void *devp, struct serial_console_data *scdp);
 void *simple_alloc_init(char *base, u32 heap_size, u32 granularity,
 		u32 max_allocs);
-
+extern void flush_cache(void *, unsigned long);
 
 static inline void *finddevice(const char *name)
 {