X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm_handler.c;h=a84d2e1a12f2b00f395c9696f6b137ad6eb127fd;hb=e1736715107efcc3afbdd93347bd8a7d86d995b9;hp=5749eac30758dff54ee45deb122b24e37e53c10f;hpb=94f67717b6461df514dc225ed84f03b44c44061b;p=palacios-OLD.git

diff --git a/palacios/src/palacios/svm_handler.c b/palacios/src/palacios/svm_handler.c
index 5749eac..a84d2e1 100644
--- a/palacios/src/palacios/svm_handler.c
+++ b/palacios/src/palacios/svm_handler.c
@@ -217,7 +217,10 @@ int v3_handle_svm_exit(struct guest_info * info, addr_t exit_code, addr_t exit_i
 		return -1;
 	    }
 
-	    break;	    
+	    break;	
+	case VMEXIT_NMI:
+	    // handled by interrupt dispatcher
+	    break;
 	case VMEXIT_INTR:
 	    // handled by interrupt dispatch earlier
 	    break;