vmm: Refactor vmm_ctl to use error()
[akaros.git] / kern / src / manager.c
index 92f5612..9004b21 100644 (file)
@@ -23,7 +23,6 @@
 #include <stdio.h>
 #include <time.h>
 #include <monitor.h>
-#include <colored_caches.h>
 #include <string.h>
 #include <pmap.h>
 #include <arch/console.h>
@@ -113,7 +112,7 @@ void manager_brho(void)
        static bool first = TRUE;
        struct per_cpu_info *pcpui = &per_cpu_info[core_id()];
 
-       if (first) {    
+       if (first) {
                printk("*** IRQs must be enabled for input emergency codes ***\n");
                #ifdef CONFIG_X86
                printk("*** Hit ctrl-g to enter the monitor. ***\n");
@@ -222,7 +221,7 @@ void manager_brho(void)
 }
 
 void manager_jenkins()
-{ 
+{
        #ifdef CONFIG_KERNEL_TESTING
                printk("<-- BEGIN_KERNEL_TESTS -->\n");
                run_registered_ktest_suites();
@@ -272,14 +271,14 @@ void manager_waterman()
 {
        static bool first = true;
        if (first)
-               mon_bb(0, 0, 0);
+               mon_shell(0, 0, 0);
        smp_idle();
        assert(0);
 }
 
 void manager_yuzhu()
 {
-       
+
        static uint8_t progress = 0;
        static struct proc *p;