-#ifndef CONFIG_DEBUG_SHADOW_PAGING
+#ifndef V3_CONFIG_DEBUG_SHADOW_PAGING
#undef PrintDebug
#define PrintDebug(fmt, args...)
#endif
// We double cast, first to an addr_t to handle 64 bit issues, then to the pointer
PrintDebug("Deleting PT Page %d (%p)\n", i, (void *)(addr_t)BASE_TO_PAGE_ADDR_4KB(pde[i].pt_base_addr));
- V3_FreePage((void *)(addr_t)BASE_TO_PAGE_ADDR_4KB(pde[i].pt_base_addr));
+ V3_FreePages((void *)(addr_t)BASE_TO_PAGE_ADDR_4KB(pde[i].pt_base_addr), 1);
}
}
- V3_FreePage(V3_PAddr(pde));
+ V3_FreePages(V3_PAddr(pde), 1);
}
void delete_page_tables_32pae(pdpe32pae_t * pdpe) {
continue;
}
- V3_FreePage((void *)(addr_t)BASE_TO_PAGE_ADDR_4KB(pde[j].pt_base_addr));
+ V3_FreePages((void *)(addr_t)BASE_TO_PAGE_ADDR_4KB(pde[j].pt_base_addr), 1);
}
- V3_FreePage(V3_PAddr(pde));
+ V3_FreePages(V3_PAddr(pde), 1);
}
- V3_FreePage(V3_PAddr(pdpe));
+ V3_FreePages(V3_PAddr(pdpe), 1);
}
void delete_page_tables_64(pml4e64_t * pml4) {
continue;
}
- V3_FreePage((void *)(addr_t)BASE_TO_PAGE_ADDR_4KB(pde[k].pt_base_addr));
+ V3_FreePages((void *)(addr_t)BASE_TO_PAGE_ADDR_4KB(pde[k].pt_base_addr), 1);
}
- V3_FreePage(V3_PAddr(pde));
+ V3_FreePages(V3_PAddr(pde), 1);
}
- V3_FreePage(V3_PAddr(pdpe));
+ V3_FreePages(V3_PAddr(pdpe), 1);
}
- V3_FreePage(V3_PAddr(pml4));
+ V3_FreePages(V3_PAddr(pml4), 1);
}
addr_t large_page_va = 0;
if (v3_gpa_to_hva(info, large_page_pa, &large_page_va) == -1) {
- PrintError("Could not get virtual address of Guest Page 4MB (PA=%p)\n",
- (void *)large_page_va);
- return -1;
+ large_page_va = 0 ;
}
addr_t page_va;
if (v3_gpa_to_hva(info, page_pa, &page_va) == -1) {
- PrintError("Could not get virtual address of Guest Page 4KB (PA=%p)\n",
- (void *)page_pa);
- return -1;
+ page_va = 0;
}
if ((ret = callback(info, PAGE_4KB, vaddr, page_va, page_pa, private_data)) != 0) {
addr_t large_page_va = 0;
if (v3_gpa_to_hva(info, large_page_pa, &large_page_va) == -1) {
- PrintDebug("Could not get virtual address of Guest Page 2MB (PA=%p)\n",
- (void *)large_page_va);
-
+ large_page_va = 0;
}
if ((ret == callback(info, PAGE_2MB, vaddr, large_page_va, large_page_pa, private_data)) != 0) {
addr_t page_va;
if (v3_gpa_to_hva(info, page_pa, &page_va) == -1) {
- PrintError("Could not get virtual address of Guest Page 4KB (PA=%p)\n",
- (void *)page_pa);
- return -1;
+ page_va = 0;
}
if ((ret = callback(info, PAGE_4KB, vaddr, page_va, page_pa, private_data)) != 0) {
addr_t large_page_va = 0;
if (v3_gpa_to_hva(info, large_page_pa, &large_page_va) == -1) {
- PrintDebug("Could not get virtual address of Guest Page 1GB (PA=%p)\n",
- (void *)large_page_va);
-
+ large_page_va = 0;
}
if ((ret == callback(info, PAGE_1GB, vaddr, large_page_va, large_page_pa, private_data)) != 0) {
addr_t large_page_va = 0;
if (v3_gpa_to_hva(info, large_page_pa, &large_page_va) == -1) {
- PrintDebug("Could not get virtual address of Guest Page 2MB (PA=%p)\n",
- (void *)large_page_va);
-
+ large_page_va = 0;
}
if ((ret == callback(info, PAGE_2MB, vaddr, large_page_va, large_page_pa, private_data)) != 0) {
addr_t page_va;
if (v3_gpa_to_hva(info, page_pa, &page_va) == -1) {
- PrintError("Could not get virtual address of Guest Page 4KB (PA=%p)\n",
- (void *)page_pa);
- return -1;
+ page_va = 0;
}
if ((ret = callback(info, PAGE_4KB, vaddr, page_va, page_pa, private_data)) != 0) {