+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
+
#include <palacios/vmm_paging.h>
#include <palacios/vmm.h>
#include <palacios/vm_guest_mem.h>
-extern struct vmm_os_hooks * os_hooks;
+
void delete_page_tables_pde32(pde32_t * pde) {
int i;//, j;
}
*/
//PrintDebug("Deleting PTE %d (%x)\n", i, pte);
- os_hooks->free_page(pte);
+ V3_FreePage(pte);
}
}
// PrintDebug("Deleting PDE (%x)\n", pde);
- os_hooks->free_page(pde);
+ V3_FreePage(pde);
}
} else if ((entry->writable == 0) && (access_type.write == 1)) {
return PT_WRITE_ERROR;
} else if ((entry->user_page == 0) && (access_type.user == 1)) {
- // Check CR0.WP
+ // Check CR0.WP?
return PT_USER_ERROR;
}
} else if ((entry->writable == 0) && (access_type.write == 1)) {
return PT_WRITE_ERROR;
} else if ((entry->user_page == 0) && (access_type.user == 1)) {
- // Check CR0.WP
+ // Check CR0.WP?
return PT_USER_ERROR;
}
int i, j;
struct shadow_map * map = &(guest_info->mem_map);
- pde32_t * pde = os_hooks->allocate_pages(1);
+ pde32_t * pde = V3_AllocPages(1);
for (i = 0; i < MAX_PDE32_ENTRIES; i++) {
int pte_present = 0;
- pte32_t * pte = os_hooks->allocate_pages(1);
+ pte32_t * pte = V3_AllocPages(1);
for (j = 0; j < MAX_PTE32_ENTRIES; j++) {
}
if (pte_present == 0) {
- os_hooks->free_page(pte);
+ V3_FreePage(pte);
pde[i].present = 0;
pde[i].writable = 0;