|
|
@@ -36,6 +36,7 @@
|
|
|
#include <asm/hvtramp.h>
|
|
|
#include <asm/io.h>
|
|
|
#include <asm/timer.h>
|
|
|
+#include <asm/setup.h>
|
|
|
|
|
|
#include <asm/irq.h>
|
|
|
#include <asm/irq_regs.h>
|
|
|
@@ -861,11 +862,6 @@ extern unsigned long xcall_flush_dcache_page_cheetah;
|
|
|
#endif
|
|
|
extern unsigned long xcall_flush_dcache_page_spitfire;
|
|
|
|
|
|
-#ifdef CONFIG_DEBUG_DCFLUSH
|
|
|
-extern atomic_t dcpage_flushes;
|
|
|
-extern atomic_t dcpage_flushes_xcall;
|
|
|
-#endif
|
|
|
-
|
|
|
static inline void __local_flush_dcache_page(struct page *page)
|
|
|
{
|
|
|
#ifdef DCACHE_ALIASING_POSSIBLE
|