X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_paging.c;h=6fc880ff26aa82531b55521843769ad6d2c22e5b;hb=9d346ee2cf8a7f2a79dc4929b8e0416de7d8f8c8;hp=03a158aafdf9a6f02385f9552542070c6a378edd;hpb=a5d2c00cc461b4a60a1360a2a0bba55cef467bab;p=palacios.releases.git

diff --git a/palacios/src/palacios/vmm_paging.c b/palacios/src/palacios/vmm_paging.c
index 03a158a..6fc880f 100644
--- a/palacios/src/palacios/vmm_paging.c
+++ b/palacios/src/palacios/vmm_paging.c
@@ -1043,6 +1043,7 @@ int v3_drill_guest_pt_32pae(struct guest_info * info, v3_reg_t guest_cr3, addr_t
 	{
 	    case PT_ENTRY_NOT_PRESENT:
 		return -1;
+		break; 
 	    case PT_ENTRY_PAGE:
 		{
 		    pde32pae_t * guest_pde = NULL;
@@ -1062,6 +1063,7 @@ int v3_drill_guest_pt_32pae(struct guest_info * info, v3_reg_t guest_cr3, addr_t
 			{
 			    case PT_ENTRY_NOT_PRESENT:
 				return -1;
+				break;
 			    case PT_ENTRY_LARGE_PAGE:
 				{
 				    addr_t large_page_pa = (addr_t)guest_pte_pa;
@@ -1076,6 +1078,7 @@ int v3_drill_guest_pt_32pae(struct guest_info * info, v3_reg_t guest_cr3, addr_t
 				    }
 				    return 0;
 				}
+				break;
 			    case PT_ENTRY_PAGE:
 				{
 				    pte32pae_t * guest_pte = NULL;
@@ -1106,8 +1109,10 @@ int v3_drill_guest_pt_32pae(struct guest_info * info, v3_reg_t guest_cr3, addr_t
 					return 0;
 				    }
 				}
+				break;
 			}
 		}
+		break;
 	    default:
 		PrintError(info->vm_info, info, "Invalid page type for PD32PAE\n");
 		return -1;