Index: sys/arm/linux/linux_dummy.c
===================================================================
--- sys/arm/linux/linux_dummy.c
+++ sys/arm/linux/linux_dummy.c
@@ -86,7 +86,6 @@
 DUMMY(inotify_add_watch);
 DUMMY(inotify_rm_watch);
 /* linux 2.6.16: */
-DUMMY(migrate_pages);
 DUMMY(unshare);
 /* linux 2.6.17: */
 DUMMY(splice);