#include <vm/vm_kern.h>
#include <vm/vm_map.h>
#include <vm/vm_protos.h>
+#include <vm/vm_pageout.h>
char my_name[] = "(default pager): ";
int vm_page_shift;
#endif
-int norma_mk;
-
boolean_t verbose;
/* task_t default_pager_self; */ /* Our task port. */
-#if NORMA_VM
- norma_mk = 1;
-#else
- norma_mk = 0;
-#endif
-
/* setup read buffers, etc */
default_pager_initialize();
default_pager();
#endif
- /* start the backing store monitor, it runs on a callout thread */
- default_pager_backing_store_monitor_callout =
- thread_call_allocate(default_pager_backing_store_monitor, NULL);
- if (!default_pager_backing_store_monitor_callout)
- panic("can't start backing store monitor thread");
- thread_call_enter(default_pager_backing_store_monitor_callout);
-
+ if (DEFAULT_PAGER_IS_ACTIVE) {
+ /* start the backing store monitor, it runs on a callout thread */
+ default_pager_backing_store_monitor_callout =
+ thread_call_allocate(default_pager_backing_store_monitor, NULL);
+ if (!default_pager_backing_store_monitor_callout)
+ panic("can't start backing store monitor thread");
+ thread_call_enter(default_pager_backing_store_monitor_callout);
+ }
+
return (0);
}