diff --git a/arch/arm/mm/nommu.c b/arch/arm/mm/nommu.c
index e369aeb0c25c7fb8750f613f6895fcac11e2bc5a..d0e66424a59720886d81908643ba1431afdd609e 100644
--- a/arch/arm/mm/nommu.c
+++ b/arch/arm/mm/nommu.c
@@ -47,6 +47,13 @@ void __init paging_init(struct meminfo *mi, struct machine_desc *mdesc)
 	bootmem_init(mi);
 }
 
+/*
+ * We don't need to do anything here for nommu machines.
+ */
+void setup_mm_for_reboot(char mode)
+{
+}
+
 void flush_dcache_page(struct page *page)
 {
 	__cpuc_flush_dcache_page(page_address(page));