X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fmain.c;h=efaa20e6fd9ad9f0b20a69d8de6d8e967f1d31f8;hb=5f9290a9547c1497c6070b35e32caa7fc388d189;hp=098d8f13b07d61a9e1c19621f629a1a5e0890300;hpb=ffd6d915b585a4a17a2d5b081313f0968885a105;p=palacios.git

diff --git a/linux_module/main.c b/linux_module/main.c
index 098d8f1..efaa20e 100644
--- a/linux_module/main.c
+++ b/linux_module/main.c
@@ -174,6 +174,13 @@ out_err:
 	    break;
 	}
 
+        case V3_RESET_MEMORY: {
+            if (palacios_init_mm() == -1) {
+                ERROR("Error resetting Palacios memory\n");
+                return -EFAULT;
+            }
+            break;  
+        }
 
 	default: {
 	    struct global_ctrl * ctrl = get_global_ctrl(ioctl);