X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm.h;h=4c95f2c12dd3002f1a2a97a159855e63c57c4785;hb=cbf36cf51a895acc4dc7242ae9ec483b363d26d6;hp=708c33166b280861804313d96ee997b54debf710;hpb=b96b5ff47cb29053f8d5b9618b54d335c7a7b22e;p=palacios.releases.git

diff --git a/palacios/include/palacios/vmm.h b/palacios/include/palacios/vmm.h
index 708c331..4c95f2c 100644
--- a/palacios/include/palacios/vmm.h
+++ b/palacios/include/palacios/vmm.h
@@ -190,7 +190,7 @@ struct guest_info;
 	if ((os_hooks) && (os_hooks)->start_kernel_thread) {		\
 	    (os_hooks)->start_kernel_thread(fn, arg, name);		\
 	}								\
-    }
+    } while (0)