Fix calling machdevdde

* main.c: Include <hurd/machdevdde.h>.
(main): Call machdevdde_register_net instead of register_net, call
machdev_device_init instead of mach_device_init, call machdev_trivfs_init
instead of trivfs_init, call machdevdde_server instead of ds_server, call
machdev_trivfs_server instead of trivfs_server.

1 files changed, 6 insertions, 5 deletions

diff --git a/main.c b/main.c
index 58bde13bd..38eec563b 100644
--- a/main.c
+++ b/main.c
@@ -7,6 +7,7 @@
 #include <linux/delay.h> // msleep()
 
 #include <hurd/machdev.h>
+#include <hurd/machdevdde.h>
 #include "check_kernel.h"
 
 int using_std = 1;
@@ -14,7 +15,7 @@ int using_std = 1;
 static void
 start_ds_server (void *arg)
 {
-	ds_server (arg);
+	machdevdde_server (arg);
 }
 
 int main(int argc, char **argv)
@@ -30,12 +31,12 @@ int main(int argc, char **argv)
 
 	l4dde26_do_initcalls();
 
-	register_net();
-	mach_device_init();
-	trivfs_init();
+	machdevdde_register_net();
+	machdev_device_init();
+	machdev_trivfs_init();
 
 	ddekit_thread_create (start_ds_server, NULL, "ds_server");
-	trivfs_server();
+	machdev_trivfs_server();
 
 	return 0;
 }