Moved x86 specific files into the arch/i386 directory. Modified files as needed.
[akaros.git] / kern / include / monitor.h
index 114e56f..8d7af4c 100644 (file)
@@ -17,9 +17,9 @@ int mon_reboot(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
 int mon_showmapping(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
 int mon_setmapperm(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
 int mon_cpuinfo(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
-int mon_nanwan(int argc, char **argv, trapframe_t *tf);
+int mon_nanwan(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
 int mon_kfs_ls(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
 int mon_kfs_run(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
-int mon_manager(int argc, char **argv, trapframe_t *tf);
+int mon_manager(int argc, char *NTS *NT COUNT(argc) argv, trapframe_t *tf);
 
 #endif // !ROS_KERN_MONITOR_H