X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm_npt.h;h=f0d5262c7f1e73fdcc131b8cf0edde62f2092f83;hp=3094d3dde6fb88275028be18e9f45f4f9f4373ed;hb=a5d2c00cc461b4a60a1360a2a0bba55cef467bab;hpb=3e937e5468169b8183a22a90f6d07ff370abde0c

diff --git a/palacios/src/palacios/svm_npt.h b/palacios/src/palacios/svm_npt.h
index 3094d3d..f0d5262 100644
--- a/palacios/src/palacios/svm_npt.h
+++ b/palacios/src/palacios/svm_npt.h
@@ -63,6 +63,8 @@ static int handle_svm_invalidate_nested_addr(struct guest_info * info, addr_t in
 #endif
 
     switch(mode) {
+	// Note that the dead code here (for other than LONG and PROTECTED
+	// is kept here for clarity and parallelism with other impls
 	case REAL:
 	case PROTECTED:
 	  return invalidate_addr_32(info, inv_addr, actual_start, actual_end);
@@ -95,6 +97,8 @@ static int handle_svm_invalidate_nested_addr_range(struct guest_info * info,
 #endif
 
     switch(mode) {
+	// dead code except for LONG and PROTECTED cases
+	// this is kept for clarity and parallelism with other implementations
 	case REAL:
 	case PROTECTED:
 	  return invalidate_addr_32_range(info, inv_addr_start, inv_addr_end, actual_start, actual_end);