Calls devtabreset()
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 22 Jan 2014 19:06:40 +0000 (11:06 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 22 Jan 2014 19:13:15 +0000 (11:13 -0800)
Not sure if we should do reset before or after init.  Inferno, nxm, and
plan9 might have had different meanings for these.

kern/include/ns.h
kern/src/init.c

index 4e35fda..080f06c 100644 (file)
@@ -963,6 +963,10 @@ char *get_cur_genbuf(void);
 #define        seconds() tsc2sec(read_tsc())
 #define        milliseconds() tsc2msec(read_tsc())
 
+/* kern/drivers/dev/tab.c */
+void devtabinit();
+void devtabreset();
+
 /* kern/src/ns/parse.c */
 struct cmdbuf *parsecmd(char *p, int n);
 void cmderror(struct cmdbuf *cb, char *s);
index 03cf67c..ef153ca 100644 (file)
@@ -93,12 +93,8 @@ void kernel_init(multiboot_info_t *mboot_info)
 */
        ethermediumlink();
        loopbackmediumlink();
-void devtabinit(void);
-       devtabinit();
-/*
-void devtabreset(void);
        devtabreset();
-*/
+       devtabinit();
 
 #ifdef CONFIG_EXT2FS
        mount_fs(&ext2_fs_type, "/dev/ramdisk", "/mnt", 0);