X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_shadow_paging.c;h=5e57c63cedd349a0c8705d3933e3ff8ace5c8148;hb=ddd9b6c1a6d0051ba8eae32d25492145c8ca5995;hp=99e1431cd71214dc64d40b025641e2746dfb9752;hpb=f1d070a7d98fea4d37069555d653e37524f50ac8;p=palacios.git diff --git a/palacios/src/palacios/vmm_shadow_paging.c b/palacios/src/palacios/vmm_shadow_paging.c index 99e1431..5e57c63 100644 --- a/palacios/src/palacios/vmm_shadow_paging.c +++ b/palacios/src/palacios/vmm_shadow_paging.c @@ -74,13 +74,9 @@ static int activate_shadow_pt_32pae(struct guest_info * info); static int activate_shadow_pt_64(struct guest_info * info); -static int handle_shadow_pte32_fault(struct guest_info* info, - addr_t fault_addr, - pf_error_t error_code, - pte32_t * shadow_pte, - pte32_t * guest_pte); - -static int handle_shadow_pagefault32(struct guest_info * info, addr_t fault_addr, pf_error_t error_code); +static int handle_shadow_pagefault_32(struct guest_info * info, addr_t fault_addr, pf_error_t error_code); +static int handle_shadow_pagefault_32pae(struct guest_info * info, addr_t fault_addr, pf_error_t error_code); +static int handle_shadow_pagefault_64(struct guest_info * info, addr_t fault_addr, pf_error_t error_code); int v3_init_shadow_page_state(struct guest_info * info) { struct shadow_page_state * state = &(info->shdw_pg_state); @@ -153,7 +149,7 @@ int cache_page_tables32(struct guest_info * info, addr_t pde) { int v3_cache_page_tables(struct guest_info * info, addr_t cr3) { switch(v3_get_cpu_mode(info)) { case PROTECTED: - return v3_cache_page_tables32(info, (addr_t)V3_PAddr((void *)CR3_TO_PDE32(cr3))); + return v3_cache_page_tables32(info, CR3_TO_PDE32_PA(cr3)); default: return -1; } @@ -194,12 +190,12 @@ int v3_cache_page_tables32(struct guest_info * info, addr_t pde) { if ((tmp_pde[i].present) && (tmp_pde[i].large_page == 0)) { addr_t pte_host_addr; - if (guest_pa_to_host_va(info, (addr_t)(PDE32_T_ADDR(tmp_pde[i])), &pte_host_addr) == -1) { + if (guest_pa_to_host_va(info, (addr_t)(BASE_TO_PAGE_ADDR(tmp_pde[i].pt_base_addr)), &pte_host_addr) == -1) { PrintError("Could not lookup host address of guest PDE\n"); return -1; } - add_pte_map(pte_cache, (addr_t)(PDE32_T_ADDR(tmp_pde[i])), pte_host_addr); + add_pte_map(pte_cache, (addr_t)(BASE_TO_PAGE_ADDR(tmp_pde[i].pt_base_addr)), pte_host_addr); } } @@ -210,11 +206,11 @@ int v3_cache_page_tables32(struct guest_info * info, addr_t pde) { int v3_replace_shdw_page32(struct guest_info * info, addr_t location, pte32_t * new_page, pte32_t * old_page) { - pde32_t * shadow_pd = (pde32_t *)CR3_TO_PDE32(info->ctrl_regs.cr3); + pde32_t * shadow_pd = (pde32_t *)CR3_TO_PDE32_VA(info->ctrl_regs.cr3); pde32_t * shadow_pde = (pde32_t *)&(shadow_pd[PDE32_INDEX(location)]); if (shadow_pde->large_page == 0) { - pte32_t * shadow_pt = (pte32_t *)(addr_t)PDE32_T_ADDR((*shadow_pde)); + pte32_t * shadow_pt = (pte32_t *)(addr_t)BASE_TO_PAGE_ADDR(shadow_pde->pt_base_addr); pte32_t * shadow_pte = (pte32_t *)&(shadow_pt[PTE32_INDEX(location)]); //if (shadow_pte->present == 1) { @@ -235,13 +231,15 @@ int v3_replace_shdw_page32(struct guest_info * info, addr_t location, pte32_t * +// We assume that shdw_pg_state.guest_cr3 is pointing to the page tables we want to activate +// We also assume that the CPU mode has not changed during this page table transition static int activate_shadow_pt_32(struct guest_info * info) { struct cr3_32 * shadow_cr3 = (struct cr3_32 *)&(info->ctrl_regs.cr3); struct cr3_32 * guest_cr3 = (struct cr3_32 *)&(info->shdw_pg_state.guest_cr3); int cached = 0; // Check if shadow page tables are in the cache - cached = v3_cache_page_tables32(info, (addr_t)V3_PAddr((void *)(addr_t)CR3_TO_PDE32((void *)*(addr_t *)guest_cr3))); + cached = v3_cache_page_tables32(info, CR3_TO_PDE32_PA(*(addr_t *)guest_cr3)); if (cached == -1) { PrintError("CR3 Cache failed\n"); @@ -250,13 +248,12 @@ static int activate_shadow_pt_32(struct guest_info * info) { addr_t shadow_pt; PrintDebug("New CR3 is different - flushing shadow page table %p\n", shadow_cr3 ); - delete_page_tables_32((pde32_t *)CR3_TO_PDE32(*(uint_t*)shadow_cr3)); + delete_page_tables_32(CR3_TO_PDE32_VA(*(uint_t*)shadow_cr3)); shadow_pt = v3_create_new_shadow_pt(); - shadow_cr3->pdt_base_addr = (addr_t)V3_PAddr((void *)(addr_t)PD32_BASE_ADDR(shadow_pt)); + shadow_cr3->pdt_base_addr = (addr_t)V3_PAddr((void *)(addr_t)PAGE_BASE_ADDR(shadow_pt)); PrintDebug( "Created new shadow page table %p\n", (void *)(addr_t)shadow_cr3->pdt_base_addr ); - //PrintDebugPageTables( (pde32_t *)CR3_TO_PDE32(*(uint_t*)shadow_cr3) ); } else { PrintDebug("Reusing cached shadow Page table\n"); } @@ -301,6 +298,18 @@ int v3_activate_shadow_pt(struct guest_info * info) { } +int v3_activate_passthrough_pt(struct guest_info * info) { + // For now... But we need to change this.... + // As soon as shadow paging becomes active the passthrough tables are hosed + // So this will cause chaos if it is called at that time + + info->ctrl_regs.cr3 = *(addr_t*)&(info->direct_map_pt); + //PrintError("Activate Passthrough Page tables not implemented\n"); + return 0; +} + + + int v3_handle_shadow_pagefault(struct guest_info * info, addr_t fault_addr, pf_error_t error_code) { if (info->mem_mode == PHYSICAL_MEM) { @@ -315,10 +324,13 @@ int v3_handle_shadow_pagefault(struct guest_info * info, addr_t fault_addr, pf_e switch (info->cpu_mode) { case PROTECTED: - return handle_shadow_pagefault32(info, fault_addr, error_code); + return handle_shadow_pagefault_32(info, fault_addr, error_code); break; case PROTECTED_PAE: + return handle_shadow_pagefault_32pae(info, fault_addr, error_code); case LONG: + return handle_shadow_pagefault_64(info, fault_addr, error_code); + break; default: PrintError("Unhandled CPU Mode\n"); return -1; @@ -358,14 +370,14 @@ static int is_guest_pf(pt_access_status_t guest_access, pt_access_status_t shado if (guest_access != PT_ACCESS_OK) { // Guest Access Error - if ((shadow_access != PT_ENTRY_NOT_PRESENT) && - (guest_access != PT_ENTRY_NOT_PRESENT)) { + if ((shadow_access != PT_ACCESS_NOT_PRESENT) && + (guest_access != PT_ACCESS_NOT_PRESENT)) { // aka (guest permission error) return 1; } - if ((shadow_access == PT_ENTRY_NOT_PRESENT) && - (guest_access == PT_ENTRY_NOT_PRESENT)) { + if ((shadow_access == PT_ACCESS_NOT_PRESENT) && + (guest_access == PT_ACCESS_NOT_PRESENT)) { // Page tables completely blank, handle guest first return 1; } @@ -379,98 +391,61 @@ static int is_guest_pf(pt_access_status_t guest_access, pt_access_status_t shado -/* The guest status checks have already been done, - * only special case shadow checks remain +/* + * * + * * + * * 64 bit Page table fault handlers + * * + * * */ -static int handle_large_pagefault32(struct guest_info * info, - addr_t fault_addr, pf_error_t error_code, - pte32_t * shadow_pt, pde32_4MB_t * large_guest_pde) -{ - pt_access_status_t shadow_pte_access = can_access_pte32(shadow_pt, fault_addr, error_code); - pte32_t * shadow_pte = (pte32_t *)&(shadow_pt[PTE32_INDEX(fault_addr)]); - - if (shadow_pte_access == PT_ACCESS_OK) { - // Inconsistent state... - // Guest Re-Entry will flush tables and everything should now workd - PrintDebug("Inconsistent state... Guest re-entry should flush tlb\n"); - return 0; - } - - if (shadow_pte_access == PT_ENTRY_NOT_PRESENT) { - // Get the guest physical address of the fault - addr_t guest_fault_pa = PDE32_4MB_T_ADDR(*large_guest_pde) + PD32_4MB_PAGE_OFFSET(fault_addr); - host_region_type_t host_page_type = get_shadow_addr_type(info, guest_fault_pa); - +static int handle_shadow_pagefault_64(struct guest_info * info, addr_t fault_addr, pf_error_t error_code) { + PrintError("64 bit shadow paging not implemented\n"); + return -1; +} - if (host_page_type == HOST_REGION_INVALID) { - // Inject a machine check in the guest - PrintDebug("Invalid Guest Address in page table (0x%p)\n", (void *)guest_fault_pa); - v3_raise_exception(info, MC_EXCEPTION); - return 0; - } - if (host_page_type == HOST_REGION_PHYSICAL_MEMORY) { - struct shadow_page_state * state = &(info->shdw_pg_state); - addr_t shadow_pa = get_shadow_addr(info, guest_fault_pa); +/* + * * + * * + * * 32 bit PAE Page table fault handlers + * * + * * + */ - shadow_pte->page_base_addr = PT32_BASE_ADDR(shadow_pa); +static int handle_shadow_pagefault_32pae(struct guest_info * info, addr_t fault_addr, pf_error_t error_code) { + PrintError("32 bit PAE shadow paging not implemented\n"); + return -1; +} - shadow_pte->present = 1; - /* We are assuming that the PDE entry has precedence - * so the Shadow PDE will mirror the guest PDE settings, - * and we don't have to worry about them here - * Allow everything - */ - shadow_pte->user_page = 1; - if (find_pte_map(state->cached_ptes, PT32_PAGE_ADDR(guest_fault_pa)) != NULL) { - // Check if the entry is a page table... - PrintDebug("Marking page as Guest Page Table (large page)\n"); - shadow_pte->vmm_info = PT32_GUEST_PT; - shadow_pte->writable = 0; - } else { - shadow_pte->writable = 1; - } - //set according to VMM policy - shadow_pte->write_through = 0; - shadow_pte->cache_disable = 0; - shadow_pte->global_page = 0; - // - - } else { - // Handle hooked pages as well as other special pages - if (handle_special_page_fault(info, fault_addr, guest_fault_pa, error_code) == -1) { - PrintError("Special Page Fault handler returned error for address: %p\n", (void *)fault_addr); - return -1; - } - } - } else if ((shadow_pte_access == PT_WRITE_ERROR) && - (shadow_pte->vmm_info == PT32_GUEST_PT)) { - struct shadow_page_state * state = &(info->shdw_pg_state); - PrintDebug("Write operation on Guest PAge Table Page (large page)\n"); - state->cached_cr3 = 0; - shadow_pte->writable = 1; - } else { - PrintError("Error in large page fault handler...\n"); - PrintError("This case should have been handled at the top level handler\n"); - return -1; - } +/* + * * + * * + * * 32 bit Page table fault handlers + * * + * * + */ +static int handle_large_pagefault_32(struct guest_info * info, + addr_t fault_addr, pf_error_t error_code, + pte32_t * shadow_pt, pde32_4MB_t * large_guest_pde); - PrintDebug("Returning from large page fault handler\n"); - return 0; -} +static int handle_shadow_pte32_fault(struct guest_info * info, + addr_t fault_addr, + pf_error_t error_code, + pte32_t * shadow_pt, + pte32_t * guest_pt); -static int handle_shadow_pagefault32(struct guest_info * info, addr_t fault_addr, pf_error_t error_code) { +static int handle_shadow_pagefault_32(struct guest_info * info, addr_t fault_addr, pf_error_t error_code) { pde32_t * guest_pd = NULL; - pde32_t * shadow_pd = (pde32_t *)CR3_TO_PDE32(info->ctrl_regs.cr3); - addr_t guest_cr3 = (addr_t) V3_PAddr(CR3_TO_PDE32(info->shdw_pg_state.guest_cr3) ); + pde32_t * shadow_pd = CR3_TO_PDE32_VA(info->ctrl_regs.cr3); + addr_t guest_cr3 = CR3_TO_PDE32_PA(info->shdw_pg_state.guest_cr3); pt_access_status_t guest_pde_access; pt_access_status_t shadow_pde_access; pde32_t * guest_pde = NULL; @@ -487,10 +462,10 @@ static int handle_shadow_pagefault32(struct guest_info * info, addr_t fault_addr // Check the guest page permissions - guest_pde_access = can_access_pde32(guest_pd, fault_addr, error_code); + guest_pde_access = v3_can_access_pde32(guest_pd, fault_addr, error_code); // Check the shadow page permissions - shadow_pde_access = can_access_pde32(shadow_pd, fault_addr, error_code); + shadow_pde_access = v3_can_access_pde32(shadow_pd, fault_addr, error_code); /* Was the page fault caused by the Guest's page tables? */ if (is_guest_pf(guest_pde_access, shadow_pde_access) == 1) { @@ -501,7 +476,7 @@ static int handle_shadow_pagefault32(struct guest_info * info, addr_t fault_addr } - if (shadow_pde_access == PT_ENTRY_NOT_PRESENT) + if (shadow_pde_access == PT_ACCESS_NOT_PRESENT) { pte32_t * shadow_pt = (pte32_t *)v3_create_new_shadow_pt(); @@ -519,7 +494,7 @@ static int handle_shadow_pagefault32(struct guest_info * info, addr_t fault_addr guest_pde->accessed = 1; - shadow_pde->pt_base_addr = PD32_BASE_ADDR((addr_t)V3_PAddr(shadow_pt)); + shadow_pde->pt_base_addr = PAGE_BASE_ADDR((addr_t)V3_PAddr(shadow_pt)); if (guest_pde->large_page == 0) { shadow_pde->writable = guest_pde->writable; @@ -534,13 +509,13 @@ static int handle_shadow_pagefault32(struct guest_info * info, addr_t fault_addr // // PTE fault // - pte32_t * shadow_pt = (pte32_t *)V3_VAddr( (void*)(addr_t) PDE32_T_ADDR(*shadow_pde) ); + pte32_t * shadow_pt = (pte32_t *)V3_VAddr( (void*)(addr_t) BASE_TO_PAGE_ADDR(shadow_pde->pt_base_addr) ); if (guest_pde->large_page == 0) { pte32_t * guest_pt = NULL; - if (guest_pa_to_host_va(info, PDE32_T_ADDR((*guest_pde)), (addr_t*)&guest_pt) == -1) { + if (guest_pa_to_host_va(info, BASE_TO_PAGE_ADDR(guest_pde->pt_base_addr), (addr_t*)&guest_pt) == -1) { // Machine check the guest - PrintDebug("Invalid Guest PTE Address: 0x%x\n", PDE32_T_ADDR((*guest_pde))); + PrintDebug("Invalid Guest PTE Address: 0x%p\n", (void *)BASE_TO_PAGE_ADDR(guest_pde->pt_base_addr)); v3_raise_exception(info, MC_EXCEPTION); return 0; } @@ -550,13 +525,13 @@ static int handle_shadow_pagefault32(struct guest_info * info, addr_t fault_addr return -1; } } else if (guest_pde->large_page == 1) { - if (handle_large_pagefault32(info, fault_addr, error_code, shadow_pt, (pde32_4MB_t *)guest_pde) == -1) { + if (handle_large_pagefault_32(info, fault_addr, error_code, shadow_pt, (pde32_4MB_t *)guest_pde) == -1) { PrintError("Error handling large pagefault\n"); return -1; } } } - else if ((shadow_pde_access == PT_WRITE_ERROR) && + else if ((shadow_pde_access == PT_ACCESS_WRITE_ERROR) && (guest_pde->large_page == 1) && (((pde32_4MB_t *)guest_pde)->dirty == 0)) { @@ -571,7 +546,7 @@ static int handle_shadow_pagefault32(struct guest_info * info, addr_t fault_addr return 0; } - else if (shadow_pde_access == PT_USER_ERROR) + else if (shadow_pde_access == PT_ACCESS_USER_ERROR) { // // Page Directory Entry marked non-user @@ -603,6 +578,96 @@ static int handle_shadow_pagefault32(struct guest_info * info, addr_t fault_addr +/* The guest status checks have already been done, + * only special case shadow checks remain + */ +static int handle_large_pagefault_32(struct guest_info * info, + addr_t fault_addr, pf_error_t error_code, + pte32_t * shadow_pt, pde32_4MB_t * large_guest_pde) +{ + pt_access_status_t shadow_pte_access = v3_can_access_pte32(shadow_pt, fault_addr, error_code); + pte32_t * shadow_pte = (pte32_t *)&(shadow_pt[PTE32_INDEX(fault_addr)]); + + if (shadow_pte_access == PT_ACCESS_OK) { + // Inconsistent state... + // Guest Re-Entry will flush tables and everything should now workd + PrintDebug("Inconsistent state... Guest re-entry should flush tlb\n"); + return 0; + } + + + if (shadow_pte_access == PT_ACCESS_NOT_PRESENT) { + // Get the guest physical address of the fault + addr_t guest_fault_pa = BASE_TO_PAGE_ADDR_4MB(large_guest_pde->page_base_addr) + PAGE_OFFSET_4MB(fault_addr); + host_region_type_t host_page_type = get_shadow_addr_type(info, guest_fault_pa); + + + if (host_page_type == HOST_REGION_INVALID) { + // Inject a machine check in the guest + PrintDebug("Invalid Guest Address in page table (0x%p)\n", (void *)guest_fault_pa); + v3_raise_exception(info, MC_EXCEPTION); + return 0; + } + + if (host_page_type == HOST_REGION_PHYSICAL_MEMORY) { + struct shadow_page_state * state = &(info->shdw_pg_state); + addr_t shadow_pa = get_shadow_addr(info, guest_fault_pa); + + shadow_pte->page_base_addr = PAGE_BASE_ADDR(shadow_pa); + + shadow_pte->present = 1; + + /* We are assuming that the PDE entry has precedence + * so the Shadow PDE will mirror the guest PDE settings, + * and we don't have to worry about them here + * Allow everything + */ + shadow_pte->user_page = 1; + + if (find_pte_map(state->cached_ptes, PAGE_ADDR(guest_fault_pa)) != NULL) { + // Check if the entry is a page table... + PrintDebug("Marking page as Guest Page Table (large page)\n"); + shadow_pte->vmm_info = PT32_GUEST_PT; + shadow_pte->writable = 0; + } else { + shadow_pte->writable = 1; + } + + + //set according to VMM policy + shadow_pte->write_through = 0; + shadow_pte->cache_disable = 0; + shadow_pte->global_page = 0; + // + + } else { + // Handle hooked pages as well as other special pages + if (handle_special_page_fault(info, fault_addr, guest_fault_pa, error_code) == -1) { + PrintError("Special Page Fault handler returned error for address: %p\n", (void *)fault_addr); + return -1; + } + } + } else if ((shadow_pte_access == PT_ACCESS_WRITE_ERROR) && + (shadow_pte->vmm_info == PT32_GUEST_PT)) { + + struct shadow_page_state * state = &(info->shdw_pg_state); + PrintDebug("Write operation on Guest PAge Table Page (large page)\n"); + state->cached_cr3 = 0; + shadow_pte->writable = 1; + + } else { + PrintError("Error in large page fault handler...\n"); + PrintError("This case should have been handled at the top level handler\n"); + return -1; + } + + PrintDebug("Returning from large page fault handler\n"); + return 0; +} + + + + /* * We assume the the guest pte pointer has already been translated to a host virtual address */ @@ -619,10 +684,10 @@ static int handle_shadow_pte32_fault(struct guest_info * info, // Check the guest page permissions - guest_pte_access = can_access_pte32(guest_pt, fault_addr, error_code); + guest_pte_access = v3_can_access_pte32(guest_pt, fault_addr, error_code); // Check the shadow page permissions - shadow_pte_access = can_access_pte32(shadow_pt, fault_addr, error_code); + shadow_pte_access = v3_can_access_pte32(shadow_pt, fault_addr, error_code); #ifdef DEBUG_SHADOW_PAGING PrintDebug("Guest PTE: (access=%d)\n\t", guest_pte_access); @@ -648,11 +713,12 @@ static int handle_shadow_pte32_fault(struct guest_info * info, } - if (shadow_pte_access == PT_ENTRY_NOT_PRESENT) { + if (shadow_pte_access == PT_ACCESS_NOT_PRESENT) { - addr_t guest_pa = PTE32_T_ADDR((*guest_pte)) + PT32_PAGE_OFFSET(fault_addr); + addr_t guest_pa = BASE_TO_PAGE_ADDR((addr_t)(guest_pte->page_base_addr)) + PAGE_OFFSET(fault_addr); // Page Table Entry Not Present + PrintDebug("guest_pa =%p\n", (void *)guest_pa); host_region_type_t host_page_type = get_shadow_addr_type(info, guest_pa); @@ -669,7 +735,7 @@ static int handle_shadow_pte32_fault(struct guest_info * info, struct shadow_page_state * state = &(info->shdw_pg_state); addr_t shadow_pa = get_shadow_addr(info, guest_pa); - shadow_pte->page_base_addr = PT32_BASE_ADDR(shadow_pa); + shadow_pte->page_base_addr = PAGE_BASE_ADDR(shadow_pa); shadow_pte->present = guest_pte->present; shadow_pte->user_page = guest_pte->user_page; @@ -682,7 +748,7 @@ static int handle_shadow_pte32_fault(struct guest_info * info, guest_pte->accessed = 1; - if (find_pte_map(state->cached_ptes, PT32_PAGE_ADDR(guest_pa)) != NULL) { + if (find_pte_map(state->cached_ptes, PAGE_ADDR(guest_pa)) != NULL) { // Check if the entry is a page table... PrintDebug("Marking page as Guest Page Table %d\n", shadow_pte->writable); shadow_pte->vmm_info = PT32_GUEST_PT; @@ -715,7 +781,7 @@ static int handle_shadow_pte32_fault(struct guest_info * info, } } - } else if ((shadow_pte_access == PT_WRITE_ERROR) && + } else if ((shadow_pte_access == PT_ACCESS_WRITE_ERROR) && (guest_pte->dirty == 0)) { PrintDebug("Shadow PTE Write Error\n"); @@ -759,7 +825,8 @@ int v3_handle_shadow_invlpg(struct guest_info * info) if (info->cpu_mode != PROTECTED) { - return 0; + PrintError("Unsupported CPU mode (mode=%s)\n", v3_cpu_mode_to_str(info->cpu_mode)); + return -1; } uchar_t instr[15]; @@ -787,7 +854,7 @@ int v3_handle_shadow_invlpg(struct guest_info * info) addr_t first_operand; addr_t second_operand; - addr_t guest_cr3 = (addr_t)V3_PAddr( (void*)(addr_t) CR3_TO_PDE32(info->shdw_pg_state.guest_cr3) ); + addr_t guest_cr3 = CR3_TO_PDE32_PA(info->shdw_pg_state.guest_cr3); pde32_t * guest_pd = NULL; @@ -805,7 +872,7 @@ int v3_handle_shadow_invlpg(struct guest_info * info) return -1; } - pde32_t * shadow_pd = (pde32_t *)CR3_TO_PDE32(info->ctrl_regs.cr3); + pde32_t * shadow_pd = (pde32_t *)CR3_TO_PDE32_VA(info->ctrl_regs.cr3); pde32_t * shadow_pde = (pde32_t *)&shadow_pd[PDE32_INDEX(first_operand)]; pde32_t * guest_pde; @@ -821,7 +888,7 @@ int v3_handle_shadow_invlpg(struct guest_info * info) PrintDebug("Invalidating Large Page\n"); } else if (shadow_pde->present == 1) { - pte32_t * shadow_pt = (pte32_t *)(addr_t)PDE32_T_ADDR((*shadow_pde)); + pte32_t * shadow_pt = (pte32_t *)(addr_t)BASE_TO_PAGE_ADDR(shadow_pde->pt_base_addr); pte32_t * shadow_pte = (pte32_t *) V3_VAddr( (void*) &shadow_pt[PTE32_INDEX(first_operand)] ); #ifdef DEBUG_SHADOW_PAGING