#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 "linux-exts.h"
-#ifdef V3_CONFIG_EXT_INSPECTOR
-#include "palacios-inspector.h"
-#endif
#ifdef V3_CONFIG_KEYED_STREAMS
#include "palacios-keyed-stream.h"
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));
-#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();
palacios_init_graphics_console();
#endif
-#ifdef V3_CONFIG_EXT_INSPECTOR
- palacios_init_inspector();
-#endif
#ifdef V3_CONFIG_SOCKET
palacios_socket_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();