On Fri, May 02, 2008 at 05:05:03PM +0200, Andrea Arcangeli wrote:
Not sure why -mm is different, but I get compile errors w/o the following...
--- jack
Index: linux/mm/mmu_notifier.c
===================================================================
--- linux.orig/mm/mmu_notifier.c 2008-05-02 16:54:52.780576831 -0500
+++ linux/mm/mmu_notifier.c 2008-05-02 16:56:38.817719509 -0500
@@ -16,6 +16,7 @@
#include <linux/srcu.h>
#include <linux/rcupdate.h>
#include <linux/sched.h>
+#include <linux/rculist.h>
/*
* This function can't run concurrently against mmu_notifier_register
--