#include <linux/timer.h>
#include <vnet/vnet.h>
-#include "palacios-mm.h"
+#include "mm.h"
+#include "palacios-vnet.h"
static void host_print(const char * fmt, ...) {
-int vnet_init( void ) {
- printk("Host init VNET\n");
-
+static int vnet_init( void ) {
init_vnet(&vnet_host_hooks);
+
+ vnet_bridge_init();
+ vnet_ctrl_init();
+
+ printk("V3 VNET Inited\n");
return 0;
}
+
+
+static int vnet_deinit( void ) {
+ deinit_vnet();
+
+ vnet_bridge_deinit();
+ vnet_ctrl_deinit();
+
+ printk("V3 VNET Deinited\n");
+
+ return 0;
+}
+
+static struct linux_ext vnet_ext = {
+ .name = "VNET",
+ .init = vnet_init,
+ .deinit = vnet_deinit,
+ .guest_init = NULL,
+ .guest_deinit = NULL
+};
+
+register_extension(&vnet_ext);