more extension ports

[palacios.releases.git] / linux_module / palacios-dev.c

diff --git a/linux_module/palacios-dev.c b/linux_module/palacios-dev.c
index cc4553d..71e861d 100644 (file)
--- a/linux_module/palacios-dev.c
+++ b/linux_module/palacios-dev.c
@@ -21,21 +21,11 @@
 #include "palacios.h"
 #include "palacios-mm.h"
 #include "palacios-vm.h"
-#include "palacios-stream.h"
 #include "palacios-serial.h"
-#include "palacios-socket.h"
 #include "palacios-vnet.h"
-#include "palacios-packet.h"
 
 #include "linux-exts.h"
 
-#ifdef V3_CONFIG_EXT_INSPECTOR
-#include "palacios-inspector.h"
-#endif
-
-#ifdef V3_CONFIG_KEYED_STREAMS
-#include "palacios-keyed-stream.h"
-#endif
 
 
 MODULE_LICENSE("GPL");
@@ -138,8 +128,6 @@ static long v3_dev_ioctl(struct file * filp,
            INIT_LIST_HEAD(&(guest->exts));
 
 
-           INIT_LIST_HEAD(&(guest->streams));
-           INIT_LIST_HEAD(&(guest->sockets));
 #ifdef V3_CONFIG_HOST_DEVICE
            INIT_LIST_HEAD(&(guest->hostdev.devs));
 #endif
@@ -261,29 +249,8 @@ static int __init v3_init(void) {
 
 
 
-#ifdef V3_CONFIG_STREAM
-    palacios_init_stream();
-#endif
-
-#ifdef V3_CONFIG_KEYED_STREAMS
-    palacios_init_keyed_streams();
-#endif
-
-#ifdef V3_CONFIG_GRAPHICS_CONSOLE
-    palacios_init_graphics_console();
-#endif
-
-#ifdef V3_CONFIG_EXT_INSPECTOR
-    palacios_init_inspector();
-#endif
 
-#ifdef V3_CONFIG_SOCKET
-    palacios_socket_init();
-#endif
 
-#ifdef V3_CONFIG_PACKET
-    palacios_init_packet(NULL);
-#endif
 
 #ifdef V3_CONFIG_VNET
     palacios_vnet_init();
@@ -336,22 +303,6 @@ static void __exit v3_exit(void) {
     deinit_lnx_extensions();
 
 
-#ifdef V3_CONFIG_EXT_INSPECTOR
-    palacios_deinit_inspector();
-#endif
-
-
-#ifdef V3_CONFIG_STREAM
-    palacios_deinit_stream();
-#endif
-
-#ifdef V3_CONFIG_SOCKET
-    palacios_socket_deinit();
-#endif
-
-#ifdef V3_CONFIG_PACKET
-    palacios_deinit_packet(NULL);
-#endif
 
 #ifdef V3_CONFIG_VNET
     palacios_vnet_deinit();