#include "palacios.h"
#include "palacios-mm.h"
#include "palacios-vm.h"
-#include "palacios-stream.h"
-#include "palacios-file.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");
INIT_LIST_HEAD(&(guest->exts));
- INIT_LIST_HEAD(&(guest->streams));
- INIT_LIST_HEAD(&(guest->files));
- INIT_LIST_HEAD(&(guest->sockets));
#ifdef V3_CONFIG_HOST_DEVICE
INIT_LIST_HEAD(&(guest->hostdev.devs));
#endif
-#ifdef V3_CONFIG_STREAM
- palacios_init_stream();
-#endif
-
-#ifdef V3_CONFIG_FILE
- palacios_file_init();
-#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();
class_destroy(v3_class);
+ deinit_lnx_extensions();
-#ifdef V3_CONFIG_EXT_INSPECTOR
- palacios_deinit_inspector();
-#endif
-
-#ifdef V3_CONFIG_FILE
- palacios_file_deinit();
-#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();