+/*
+ * This file is part of the Palacios Virtual Machine Monitor developed
+ * by the V3VEE Project with funding from the United States National
+ * Science Foundation and the Department of Energy.
+ *
+ * The V3VEE Project is a joint project between Northwestern University
+ * and the University of New Mexico. You can find out more at
+ * http://www.v3vee.org
+ *
+ * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
+ * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org>
+ * All rights reserved.
+ *
+ * Author: Jack Lange <jarusl@cs.northwestern.edu>
+ *
+ * This is free software. You are permitted to use,
+ * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
+ */
+
#include <palacios/vm_guest_mem.h>
#include <palacios/vmm.h>
#include <palacios/vmm_paging.h>
-extern struct vmm_os_hooks * os_hooks;
+extern struct v3_os_hooks * os_hooks;
/**********************************/
*host_pa = (addr_t)(os_hooks)->vaddr_to_paddr((void *)host_va);
if (*host_pa == 0) {
- PrintError("In HVA->HPA: Invalid HVA(%x)->HPA lookup\n", host_va);
+ PrintError("In HVA->HPA: Invalid HVA(%p)->HPA lookup\n",
+ (void *)host_va);
return -1;
}
} else {
*host_va = (addr_t)(os_hooks)->paddr_to_vaddr((void *)host_pa);
if (*host_va == 0) {
- PrintError("In HPA->HVA: Invalid HPA(%x)->HVA lookup\n", host_pa);
+ PrintError("In HPA->HVA: Invalid HPA(%p)->HVA lookup\n",
+ (void *)host_pa);
return -1;
}
} else {
int guest_pa_to_host_pa(struct guest_info * guest_info, addr_t guest_pa, addr_t * host_pa) {
// we use the shadow map here...
- if (lookup_shadow_map_addr(&(guest_info->mem_map), guest_pa, host_pa) != HOST_REGION_PHYSICAL_MEMORY) {
- PrintError("In GPA->HPA: Could not find address in shadow map (addr=%x)\n", guest_pa);
+ host_region_type_t reg_type = lookup_shadow_map_addr(&(guest_info->mem_map), guest_pa, host_pa);
+
+ if (reg_type != HOST_REGION_PHYSICAL_MEMORY) {
+ PrintError("In GPA->HPA: Could not find address in shadow map (addr=%p) (reg_type=%d)\n",
+ (void *)guest_pa, reg_type);
return -1;
}
*guest_pa = 0;
if (host_va_to_host_pa(host_va, &host_pa) != 0) {
- PrintError("In HVA->GPA: Invalid HVA(%x)->HPA lookup\n", host_va);
+ PrintError("In HVA->GPA: Invalid HVA(%p)->HPA lookup\n",
+ (void *)host_va);
return -1;
}
if (host_pa_to_guest_pa(guest_info, host_pa, guest_pa) != 0) {
- PrintError("In HVA->GPA: Invalid HPA(%x)->GPA lookup\n", host_pa);
+ PrintError("In HVA->GPA: Invalid HPA(%p)->GPA lookup\n",
+ (void *)host_pa);
return -1;
}
*host_va = 0;
if (guest_pa_to_host_pa(guest_info, guest_pa, &host_pa) != 0) {
- PrintError("In GPA->HVA: Invalid GPA(%x)->HPA lookup\n", guest_pa);
+ PrintError("In GPA->HVA: Invalid GPA(%p)->HPA lookup\n",
+ (void *)guest_pa);
return -1;
}
if (host_pa_to_host_va(host_pa, host_va) != 0) {
- PrintError("In GPA->HVA: Invalid HPA(%x)->HVA lookup\n", host_pa);
+ PrintError("In GPA->HVA: Invalid HPA(%p)->HVA lookup\n",
+ (void *)host_pa);
return -1;
}
int guest_va_to_guest_pa(struct guest_info * guest_info, addr_t guest_va, addr_t * guest_pa) {
+ v3_reg_t guest_cr3 = 0;
+
if (guest_info->mem_mode == PHYSICAL_MEM) {
// guest virtual address is the same as the physical
*guest_pa = guest_va;
return 0;
}
+ if (guest_info->shdw_pg_mode == SHADOW_PAGING) {
+ guest_cr3 = guest_info->shdw_pg_state.guest_cr3;
+ } else {
+ guest_cr3 = guest_info->ctrl_regs.cr3;
+ }
// Guest Is in Paged mode
switch (guest_info->cpu_mode) {
case PROTECTED:
- {
- addr_t tmp_pa = 0;
- pde32_t * pde = 0;
- addr_t guest_pde = 0;
-
- if (guest_info->shdw_pg_mode == SHADOW_PAGING) {
- guest_pde = CR3_TO_PDE32(guest_info->shdw_pg_state.guest_cr3);
- } else if (guest_info->shdw_pg_mode == NESTED_PAGING) {
- guest_pde = CR3_TO_PDE32(guest_info->ctrl_regs.cr3);
- }
-
- if (guest_pa_to_host_va(guest_info, guest_pde, (addr_t *)&pde) == -1) {
- PrintError("In GVA->GPA: Invalid GPA(%x)->HVA PDE32 lookup\n", guest_pde);
- return -1;
- }
-
-
- switch (pde32_lookup(pde, guest_va, &tmp_pa)) {
- case PDE32_ENTRY_NOT_PRESENT:
- *guest_pa = 0;
- return -1;
- case PDE32_ENTRY_LARGE_PAGE:
- *guest_pa = tmp_pa;
- return 0;
- case PDE32_ENTRY_PTE32:
- {
- pte32_t * pte = 0;
-
-
- if (guest_pa_to_host_va(guest_info, tmp_pa, (addr_t*)&pte) == -1) {
- PrintError("In GVA->GPA: Invalid GPA(%x)->HVA PTE32 lookup\n", guest_pa);
- return -1;
- }
-
- //PrintDebug("PTE host addr=%x, GVA=%x, GPA=%x(should be 0)\n", pte, guest_va, *guest_pa);
-
- if (pte32_lookup(pte, guest_va, guest_pa) != 0) {
- PrintError("In GVA->GPA: PTE32 Lookup failure GVA=%x; PTE=%x\n", guest_va, pte);
- // PrintPT32(PDE32_INDEX(guest_va) << 22, pte);
- return -1;
- }
-
- return 0;
- }
- default:
- return -1;
- }
+ if (v3_translate_guest_pt_32(guest_info, guest_cr3, guest_va, guest_pa) == -1) {
+ PrintDebug("Could not translate addr (%p) through 32 bit guest PT at %p\n",
+ (void *)guest_va, (void *)(addr_t)guest_cr3);
+ return -1;
}
+ break;
case PROTECTED_PAE:
- {
- // Fill in
+ if (v3_translate_guest_pt_32pae(guest_info, guest_cr3, guest_va, guest_pa) == -1) {
+ PrintDebug("Could not translate addr (%p) through 32 bitpae guest PT at %p\n",
+ (void *)guest_va, (void *)(addr_t)guest_cr3);
+ return -1;
}
+ break;
case LONG:
- {
- // Fill in
+ case LONG_32_COMPAT:
+ case LONG_16_COMPAT:
+ if (v3_translate_guest_pt_64(guest_info, guest_cr3, guest_va, guest_pa) == -1) {
+ PrintDebug("Could not translate addr (%p) through 64 bit guest PT at %p\n",
+ (void *)guest_va, (void *)(addr_t)guest_cr3);
+ return -1;
}
+ break;
default:
return -1;
}
-
-
return 0;
}
*host_pa = 0;
if (guest_va_to_guest_pa(guest_info, guest_va, &guest_pa) != 0) {
- PrintError("In GVA->HPA: Invalid GVA(%x)->GPA lookup\n", guest_va);
+ PrintError("In GVA->HPA: Invalid GVA(%p)->GPA lookup\n",
+ (void *)guest_va);
return -1;
}
if (guest_pa_to_host_pa(guest_info, guest_pa, host_pa) != 0) {
- PrintError("In GVA->HPA: Invalid GPA(%x)->HPA lookup\n", guest_pa);
+ PrintError("In GVA->HPA: Invalid GPA(%p)->HPA lookup\n",
+ (void *)guest_pa);
return -1;
}
*guest_va = 0;
if (host_pa_to_guest_pa(guest_info, host_pa, &guest_pa) != 0) {
- PrintError("In HPA->GVA: Invalid HPA(%x)->GPA lookup\n", host_pa);
+ PrintError("In HPA->GVA: Invalid HPA(%p)->GPA lookup\n",
+ (void *)host_pa);
return -1;
}
if (guest_pa_to_guest_va(guest_info, guest_pa, guest_va) != 0) {
- PrintError("In HPA->GVA: Invalid GPA(%x)->GVA lookup\n", guest_pa);
+ PrintError("In HPA->GVA: Invalid GPA(%p)->GVA lookup\n",
+ (void *)guest_pa);
return -1;
}
*host_va = 0;
if (guest_va_to_guest_pa(guest_info, guest_va, &guest_pa) != 0) {
- PrintError("In GVA->HVA: Invalid GVA(%x)->GPA lookup\n", guest_va);
+ PrintError("In GVA->HVA: Invalid GVA(%p)->GPA lookup\n",
+ (void *)guest_va);
return -1;
}
if (guest_pa_to_host_pa(guest_info, guest_pa, &host_pa) != 0) {
- PrintError("In GVA->HVA: Invalid GPA(%x)->HPA lookup\n", guest_pa);
+ PrintError("In GVA->HVA: Invalid GPA(%p)->HPA lookup\n",
+ (void *)guest_pa);
return -1;
}
if (host_pa_to_host_va(host_pa, host_va) != 0) {
- PrintError("In GVA->HVA: Invalid HPA(%x)->HVA lookup\n", host_pa);
+ PrintError("In GVA->HVA: Invalid HPA(%p)->HVA lookup\n",
+ (void *)host_pa);
return -1;
}
*guest_va = 0;
if (host_va_to_host_pa(host_va, &host_pa) != 0) {
- PrintError("In HVA->GVA: Invalid HVA(%x)->HPA lookup\n", host_va);
+ PrintError("In HVA->GVA: Invalid HVA(%p)->HPA lookup\n",
+ (void *)host_va);
return -1;
}
if (host_pa_to_guest_pa(guest_info, host_pa, &guest_pa) != 0) {
- PrintError("In HVA->GVA: Invalid HPA(%x)->GPA lookup\n", host_va);
+ PrintError("In HVA->GVA: Invalid HPA(%p)->GPA lookup\n",
+ (void *)host_va);
return -1;
}
if (guest_pa_to_guest_va(guest_info, guest_pa, guest_va) != 0) {
- PrintError("In HVA->GVA: Invalid GPA(%x)->GVA lookup\n", guest_pa);
+ PrintError("In HVA->GVA: Invalid GPA(%p)->GVA lookup\n",
+ (void *)guest_pa);
return -1;
}
/* This is a straight address conversion + copy,
* except for the tiny little issue of crossing page boundries.....
*/
-int read_guest_va_memory(struct guest_info * guest_info, addr_t guest_va, int count, char * dest) {
+int read_guest_va_memory(struct guest_info * guest_info, addr_t guest_va, int count, uchar_t * dest) {
addr_t cursor = guest_va;
int bytes_read = 0;
if (guest_va_to_host_va(guest_info, cursor, &host_addr) != 0) {
- PrintDebug("Invalid GVA(%x)->HVA lookup\n", cursor);
+ PrintDebug("Invalid GVA(%p)->HVA lookup\n", (void *)cursor);
return bytes_read;
}
/* This is a straight address conversion + copy,
* except for the tiny little issue of crossing page boundries.....
*/
-int read_guest_pa_memory(struct guest_info * guest_info, addr_t guest_pa, int count, char * dest) {
+int read_guest_pa_memory(struct guest_info * guest_info, addr_t guest_pa, int count, uchar_t * dest) {
addr_t cursor = guest_pa;
int bytes_read = 0;
/* This is a straight address conversion + copy,
* except for the tiny little issue of crossing page boundries.....
*/
-int write_guest_pa_memory(struct guest_info * guest_info, addr_t guest_pa, int count, char * src) {
+int write_guest_pa_memory(struct guest_info * guest_info, addr_t guest_pa, int count, uchar_t * src) {
addr_t cursor = guest_pa;
int bytes_written = 0;
