guest->img_size = user_image.size;
printk("Allocating kernel memory for guest image (%llu bytes)\n", user_image.size);
- guest->img = kmalloc(guest->img_size, GFP_KERNEL);
+ guest->img = vmalloc(guest->img_size);
if (IS_ERR(guest->img)) {
printk("Error: Could not allocate space for guest image\n");
#endif
#ifdef V3_CONFIG_VNET
- palacios_init_vnet();
+ palacios_vnet_init();
#endif
#ifdef V3_CONFIG_HOST_DEVICE
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();
+#endif
+
palacios_deinit_mm();
printk("Palacios Module Mallocs = %d, Frees = %d\n", mod_allocs, mod_frees);