X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvm_guest_mem.c;h=7e45c0caf83d4834bd404df5b9efc7d75ecec459;hp=5f5d3a3c75f6609c771472d38ea653ddbb5ae9bf;hb=9ed850393ba752a7c0bb83673b5ff98f9573f2da;hpb=ee0e39ad3467f981e379d749b96d4668b6490b80

diff --git a/palacios/src/palacios/vm_guest_mem.c b/palacios/src/palacios/vm_guest_mem.c
index 5f5d3a3..7e45c0c 100644
--- a/palacios/src/palacios/vm_guest_mem.c
+++ b/palacios/src/palacios/vm_guest_mem.c
@@ -126,13 +126,13 @@ int guest_va_to_guest_pa(struct guest_info * guest_info, addr_t guest_va, addr_t
 	}
 
 	switch (pde32_lookup(pde, guest_va, &tmp_pa)) {
-	case NOT_PRESENT: 
+	case PDE32_ENTRY_NOT_PRESENT: 
 	  *guest_pa = 0;
 	  return -1;
-	case LARGE_PAGE:
+	case PDE32_ENTRY_LARGE_PAGE:
 	  *guest_pa = tmp_pa;
 	  return 0;
-	case PTE32:
+	case PDE32_ENTRY_PTE32:
 	  {
 	    pte32_t * pte;