#include <palacios/vmm_paging.h>
-#ifndef CONFIG_DEBUG_SHDW_CACHE
+#ifndef V3_CONFIG_DEBUG_SHDW_CACHE
#undef PrintDebug
#define PrintDebug(fmt, ...)
#endif
-#ifdef CONFIG_SHADOW_CACHE
+#ifdef V3_CONFIG_SHADOW_CACHE
struct pde_chain {
addr_t shadow_pdes[NR_PTE_CHAIN_ENTRIES];
{
list_del(&page->link);
- V3_FreePage((void *)page->page_pa);
+ V3_FreePages((void *)page->page_pa, 1);
page->page_pa=(addr_t)V3_AllocPages(1);
list_add(&page->link,&core->free_pages);
while (!list_empty(&core->free_pages)) {
page = list_entry(core->free_pages.next, struct shadow_page_cache_data, link);
list_del(&page->link);
- V3_FreePage((void *)page->page_pa);
+ V3_FreePages((void *)page->page_pa, 1);
page->page_pa = ~(addr_t)0; //invalid address
}
}