X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_paging_debug.h;h=8ce5f8746177c6fbbcb91af52f60419e9d1f057f;hp=d4b4536ec0b1486fae6cfe6e471642f8df11d07e;hb=refs%2Fheads%2Fdevel;hpb=564dade4aee58eb392b960dd33823b5e030869ac

diff --git a/palacios/src/palacios/vmm_paging_debug.h b/palacios/src/palacios/vmm_paging_debug.h
index d4b4536..8ce5f87 100644
--- a/palacios/src/palacios/vmm_paging_debug.h
+++ b/palacios/src/palacios/vmm_paging_debug.h
@@ -222,7 +222,7 @@ static int print_page_walk_cb(struct guest_info * info, page_type_t type, addr_t
 		pdpe64_t * pdp = (pdpe64_t *)page_ptr;
 		PrintDebug(info->vm_info, info, "PDPE64 Page\n");
 		for (i = 0; i < MAX_PDPE64_ENTRIES; i++) {
-		    tmp_vaddr = 4096 * MAX_PTE64_ENTRIES * MAX_PDE64_ENTRIES * i; 
+		    tmp_vaddr = 4096UL * MAX_PTE64_ENTRIES * MAX_PDE64_ENTRIES * i; 
 		    tmp_vaddr += vaddr;
 		    if (pdp[i].present)
 			PrintPDPE64(tmp_vaddr, &(pdp[i]));
@@ -261,7 +261,7 @@ static int print_page_walk_cb(struct guest_info * info, page_type_t type, addr_t
 		pdpe32pae_t * pdp = (pdpe32pae_t *)page_ptr;
 		PrintDebug(info->vm_info, info, "PDPE32PAE Page\n");
 		for (i = 0; i < MAX_PDPE32PAE_ENTRIES; i++) {
-		    tmp_vaddr = 4096 * MAX_PTE32PAE_ENTRIES * MAX_PDE32PAE_ENTRIES * i; 
+		    tmp_vaddr = 4096UL * MAX_PTE32PAE_ENTRIES * MAX_PDE32PAE_ENTRIES * i; 
 		    tmp_vaddr += vaddr;
 		    if (pdp[i].present) 
 			PrintPDPE32PAE(tmp_vaddr, &(pdp[i]));
@@ -300,7 +300,7 @@ static int print_page_walk_cb(struct guest_info * info, page_type_t type, addr_t
 		pde32_t * pd = (pde32_t *)page_ptr;
 		PrintDebug(info->vm_info, info, "PDE32 Page\n");
 		for (i = 0; i < MAX_PTE32_ENTRIES; i++) {
-		    tmp_vaddr = 4096 * MAX_PTE32_ENTRIES * i; 
+		    tmp_vaddr = 4096UL * MAX_PTE32_ENTRIES * i; 
 		    tmp_vaddr += vaddr;
 		    if (pd[i].present)
 			PrintPDE32(tmp_vaddr, &(pd[i]));