From 44602296bde615ac733f15e9f9f91d820b10e2d1 Mon Sep 17 00:00:00 2001
From: Richard Braun <rbraun@sceen.net>
Date: Wed, 14 May 2014 20:27:44 +0200
Subject: Print vm_page info at the end of kernel bootstrap

---
 kern/kernel.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'kern/kernel.c')

diff --git a/kern/kernel.c b/kern/kernel.c
index 62d75b52..658c18d1 100644
--- a/kern/kernel.c
+++ b/kern/kernel.c
@@ -25,6 +25,7 @@
 #include <kern/thread.h>
 #include <kern/work.h>
 #include <machine/cpu.h>
+#include <vm/vm_page.h>
 
 void __init
 kernel_main(void)
@@ -53,6 +54,8 @@ kernel_main(void)
      */
     cpu_mp_setup();
 
+    vm_page_info();
+
     thread_run_scheduler();
 
     /* Never reached */
-- 
cgit v1.2.3