[PATCH 7/7] 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.
 main.c |    2 --
 ops.h  |    2 +-
 2 files changed, 1 insertion(+), 3 deletions(-)

Index: kernel/arch/powerpc/boot/main.c
===================================================================
--- kernel.orig/arch/powerpc/boot/main.c	2007-03-19 04:16:06.000000000 -0500
+++ kernel/arch/powerpc/boot/main.c	2007-03-19 04:16:56.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-19 04:16:06.000000000 -0500
+++ kernel/arch/powerpc/boot/ops.h	2007-03-19 04:30:38.000000000 -0500
@@ -79,7 +79,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)
 {