#include "palacios.h"
#include "palacios-mm.h"
#include "palacios-vm.h"
-#include "palacios-serial.h"
-#include "palacios-vnet.h"
-#include "palacios-packet.h"
#include "linux-exts.h"
-#ifdef V3_CONFIG_KEYED_STREAMS
-#include "palacios-keyed-stream.h"
-#endif
-
MODULE_LICENSE("GPL");
INIT_LIST_HEAD(&(guest->exts));
-
-#ifdef V3_CONFIG_HOST_DEVICE
- INIT_LIST_HEAD(&(guest->hostdev.devs));
-#endif
init_completion(&(guest->start_done));
init_completion(&(guest->thread_done));
-
-#ifdef V3_CONFIG_KEYED_STREAMS
- palacios_init_keyed_streams();
-#endif
-
-#ifdef V3_CONFIG_GRAPHICS_CONSOLE
- palacios_init_graphics_console();
-#endif
-
-
-
-#ifdef V3_CONFIG_PACKET
- palacios_init_packet(NULL);
-#endif
-
-#ifdef V3_CONFIG_VNET
- palacios_vnet_init();
-#endif
-
-#ifdef V3_CONFIG_HOST_DEVICE
- palacios_init_host_dev();
-#endif
-
return 0;
failure1:
deinit_lnx_extensions();
-
-
-#ifdef V3_CONFIG_VNET
- palacios_vnet_deinit();
-#endif
-
palacios_deinit_mm();
printk("Palacios Module Mallocs = %d, Frees = %d\n", mod_allocs, mod_frees);