From c07415cffc9d5939bfc2f75831218a4243e2e929 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Fri, 19 Apr 2019 18:54:37 -0700 Subject: [PATCH] fixup! Add permission changing kernel function --- kern/monitor.h | 1 + 1 file changed, 1 insertion(+) diff --git a/kern/monitor.h b/kern/monitor.h index 35d2793..4da7606 100644 --- a/kern/monitor.h +++ b/kern/monitor.h @@ -16,5 +16,6 @@ int mon_help(int argc, char **argv, struct Trapframe *tf); int mon_kerninfo(int argc, char **argv, struct Trapframe *tf); int mon_backtrace(int argc, char **argv, struct Trapframe *tf); int mon_showmappings(int argc, char **argv, struct Trapframe *tf); +int mon_mperms(int argc, char** argv, struct Trapframe* tf); #endif // !JOS_KERN_MONITOR_H