X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_shadow_paging_64.h;h=db252d3f79c25c534449840864cade1569dab2cc;hb=c26e014007c1b78e957b8cd1d920006754a76661;hp=b75f358f53ad0b59061b50ccd09786b8c5560326;hpb=35b12c60af3cecffd00068990e61ab6fa01d49fe;p=palacios.git diff --git a/palacios/src/palacios/vmm_shadow_paging_64.h b/palacios/src/palacios/vmm_shadow_paging_64.h index b75f358..db252d3 100644 --- a/palacios/src/palacios/vmm_shadow_paging_64.h +++ b/palacios/src/palacios/vmm_shadow_paging_64.h @@ -53,19 +53,19 @@ static inline int activate_shadow_pt_64(struct guest_info * info) { */ static int handle_2MB_shadow_pagefault_64(struct guest_info * info, addr_t fault_addr, pf_error_t error_code, - pte64_t * shadow_pt, pde64_2MB_t * large_guest_pde, int speculative); + pte64_t * shadow_pt, pde64_2MB_t * large_guest_pde); static int handle_pte_shadow_pagefault_64(struct guest_info * info, addr_t fault_addr, pf_error_t error_code, - pte64_t * shadow_pt, pte64_t * guest_pt, int speculative); + pte64_t * shadow_pt, pte64_t * guest_pt); static int handle_pde_shadow_pagefault_64(struct guest_info * info, addr_t fault_addr, pf_error_t error_code, - pde64_t * shadow_pd, pde64_t * guest_pd, int speculative); + pde64_t * shadow_pd, pde64_t * guest_pd); static int handle_pdpe_shadow_pagefault_64(struct guest_info * info, addr_t fault_addr, pf_error_t error_code, - pdpe64_t * shadow_pdp, pdpe64_t * guest_pdp, int speculative); + pdpe64_t * shadow_pdp, pdpe64_t * guest_pdp); -static inline int handle_shadow_pagefault_64(struct guest_info * info, addr_t fault_addr, pf_error_t error_code, int speculative) { +static inline int handle_shadow_pagefault_64(struct guest_info * info, addr_t fault_addr, pf_error_t error_code) { pml4e64_t * guest_pml = NULL; pml4e64_t * shadow_pml = CR3_TO_PML4E64_VA(info->ctrl_regs.cr3); addr_t guest_cr3 = CR3_TO_PML4E64_PA(info->shdw_pg_state.guest_cr3); @@ -96,9 +96,7 @@ static inline int handle_shadow_pagefault_64(struct guest_info * info, addr_t fa if (is_guest_pf(guest_pml4e_access, shadow_pml4e_access) == 1) { PrintDebug("Injecting PML4E pf to guest: (guest access error=%d) (pf error code=%d)\n", *(uint_t *)&guest_pml4e_access, *(uint_t *)&error_code); - if (!speculative) { - inject_guest_pf(info, fault_addr, error_code); - } + inject_guest_pf(info, fault_addr, error_code); return 0; } @@ -108,16 +106,12 @@ static inline int handle_shadow_pagefault_64(struct guest_info * info, addr_t fa // PrintDebug("Shadow Paging User access error (shadow_pml4e_access=0x%x, guest_pml4e_access=0x%x)\n", shadow_pml4e_access, guest_pml4e_access); - if (!speculative) { - inject_guest_pf(info, fault_addr, error_code); - } + inject_guest_pf(info, fault_addr, error_code); return 0; } else if ((shadow_pml4e_access != PT_ACCESS_NOT_PRESENT) && (shadow_pml4e_access != PT_ACCESS_OK)) { // inject page fault in guest - if (!speculative) { - inject_guest_pf(info, fault_addr, error_code); - } + inject_guest_pf(info, fault_addr, error_code); PrintDebug("Unknown Error occurred (shadow_pde_access=%d)\n", shadow_pml4e_access); PrintDebug("Manual Says to inject page fault into guest\n"); return 0; @@ -137,11 +131,8 @@ static inline int handle_shadow_pagefault_64(struct guest_info * info, addr_t fa shadow_pml4e->present = 1; shadow_pml4e->user_page = guest_pml4e->user_page; shadow_pml4e->writable = guest_pml4e->writable; - - // VMM Specific options - shadow_pml4e->write_through = 0; - shadow_pml4e->cache_disable = 0; - // + shadow_pml4e->cache_disable = guest_pml4e->cache_disable; + shadow_pml4e->write_through = guest_pml4e->write_through; guest_pml4e->accessed = 1; @@ -155,13 +146,11 @@ static inline int handle_shadow_pagefault_64(struct guest_info * info, addr_t fa if (guest_pa_to_host_va(info, BASE_TO_PAGE_ADDR(guest_pml4e->pdp_base_addr), (addr_t *)&guest_pdp) == -1) { // Machine check the guest PrintDebug("Invalid Guest PDP Address: 0x%p\n", (void *)BASE_TO_PAGE_ADDR(guest_pml4e->pdp_base_addr)); - if (!speculative) { - v3_raise_exception(info, MC_EXCEPTION); - } + v3_raise_exception(info, MC_EXCEPTION); return 0; } - if (handle_pdpe_shadow_pagefault_64(info, fault_addr, error_code, shadow_pdp, guest_pdp, speculative) == -1) { + if (handle_pdpe_shadow_pagefault_64(info, fault_addr, error_code, shadow_pdp, guest_pdp) == -1) { PrintError("Error handling Page fault caused by PDPE\n"); return -1; } @@ -173,7 +162,7 @@ static inline int handle_shadow_pagefault_64(struct guest_info * info, addr_t fa // For now we are not going to handle 1 Gigabyte pages static int handle_pdpe_shadow_pagefault_64(struct guest_info * info, addr_t fault_addr, pf_error_t error_code, - pdpe64_t * shadow_pdp, pdpe64_t * guest_pdp, int speculative) { + pdpe64_t * shadow_pdp, pdpe64_t * guest_pdp) { pt_access_status_t guest_pdpe_access; pt_access_status_t shadow_pdpe_access; pdpe64_t * guest_pdpe = (pdpe64_t *)&(guest_pdp[PDPE64_INDEX(fault_addr)]); @@ -198,9 +187,7 @@ static int handle_pdpe_shadow_pagefault_64(struct guest_info * info, addr_t faul if (is_guest_pf(guest_pdpe_access, shadow_pdpe_access) == 1) { PrintDebug("Injecting PDPE pf to guest: (guest access error=%d) (pf error code=%d)\n", *(uint_t *)&guest_pdpe_access, *(uint_t *)&error_code); - if (!speculative) { - inject_guest_pf(info, fault_addr, error_code); - } + inject_guest_pf(info, fault_addr, error_code); return 0; } @@ -210,16 +197,12 @@ static int handle_pdpe_shadow_pagefault_64(struct guest_info * info, addr_t faul // PrintDebug("Shadow Paging User access error (shadow_pdpe_access=0x%x, guest_pdpe_access=0x%x)\n", shadow_pdpe_access, guest_pdpe_access); - if (!speculative) { - inject_guest_pf(info, fault_addr, error_code); - } + inject_guest_pf(info, fault_addr, error_code); return 0; } else if ((shadow_pdpe_access != PT_ACCESS_NOT_PRESENT) && (shadow_pdpe_access != PT_ACCESS_OK)) { // inject page fault in guest - if (!speculative) { - inject_guest_pf(info, fault_addr, error_code); - } + inject_guest_pf(info, fault_addr, error_code); PrintDebug("Unknown Error occurred (shadow_pde_access=%d)\n", shadow_pdpe_access); PrintDebug("Manual Says to inject page fault into guest\n"); return 0; @@ -239,11 +222,9 @@ static int handle_pdpe_shadow_pagefault_64(struct guest_info * info, addr_t faul shadow_pdpe->present = 1; shadow_pdpe->user_page = guest_pdpe->user_page; shadow_pdpe->writable = guest_pdpe->writable; - - // VMM Specific options - shadow_pdpe->write_through = 0; - shadow_pdpe->cache_disable = 0; - // + shadow_pdpe->write_through = guest_pdpe->write_through; + shadow_pdpe->cache_disable = guest_pdpe->cache_disable; + guest_pdpe->accessed = 1; @@ -257,13 +238,11 @@ static int handle_pdpe_shadow_pagefault_64(struct guest_info * info, addr_t faul if (guest_pa_to_host_va(info, BASE_TO_PAGE_ADDR(guest_pdpe->pd_base_addr), (addr_t *)&guest_pd) == -1) { // Machine check the guest PrintDebug("Invalid Guest PTE Address: 0x%p\n", (void *)BASE_TO_PAGE_ADDR(guest_pdpe->pd_base_addr)); - if (!speculative) { - v3_raise_exception(info, MC_EXCEPTION); - } + v3_raise_exception(info, MC_EXCEPTION); return 0; } - if (handle_pde_shadow_pagefault_64(info, fault_addr, error_code, shadow_pd, guest_pd, speculative) == -1) { + if (handle_pde_shadow_pagefault_64(info, fault_addr, error_code, shadow_pd, guest_pd) == -1) { PrintError("Error handling Page fault caused by PDE\n"); return -1; } @@ -273,7 +252,7 @@ static int handle_pdpe_shadow_pagefault_64(struct guest_info * info, addr_t faul static int handle_pde_shadow_pagefault_64(struct guest_info * info, addr_t fault_addr, pf_error_t error_code, - pde64_t * shadow_pd, pde64_t * guest_pd, int speculative) { + pde64_t * shadow_pd, pde64_t * guest_pd) { pt_access_status_t guest_pde_access; pt_access_status_t shadow_pde_access; pde64_t * guest_pde = (pde64_t *)&(guest_pd[PDE64_INDEX(fault_addr)]); @@ -291,9 +270,7 @@ static int handle_pde_shadow_pagefault_64(struct guest_info * info, addr_t fault if (is_guest_pf(guest_pde_access, shadow_pde_access) == 1) { PrintDebug("Injecting PDE pf to guest: (guest access error=%d) (pf error code=%d)\n", *(uint_t *)&guest_pde_access, *(uint_t *)&error_code); - if (!speculative) { - inject_guest_pf(info, fault_addr, error_code); - } + inject_guest_pf(info, fault_addr, error_code); return 0; } @@ -303,9 +280,7 @@ static int handle_pde_shadow_pagefault_64(struct guest_info * info, addr_t fault // PrintDebug("Shadow Paging User access error (shadow_pdpe_access=0x%x, guest_pdpe_access=0x%x)\n", shadow_pde_access, guest_pde_access); - if (!speculative) { - inject_guest_pf(info, fault_addr, error_code); - } + inject_guest_pf(info, fault_addr, error_code); return 0; } else if ((shadow_pde_access == PT_ACCESS_WRITE_ERROR) && @@ -321,9 +296,7 @@ static int handle_pde_shadow_pagefault_64(struct guest_info * info, addr_t fault } else if ((shadow_pde_access != PT_ACCESS_NOT_PRESENT) && (shadow_pde_access != PT_ACCESS_OK)) { // inject page fault in guest - if (!speculative) { - inject_guest_pf(info, fault_addr, error_code); - } + inject_guest_pf(info, fault_addr, error_code); PrintDebug("Unknown Error occurred (shadow_pde_access=%d)\n", shadow_pde_access); PrintDebug("Manual Says to inject page fault into guest\n"); return 0; @@ -361,9 +334,9 @@ static int handle_pde_shadow_pagefault_64(struct guest_info * info, addr_t fault } // VMM Specific options - shadow_pde->write_through = 0; - shadow_pde->cache_disable = 0; - shadow_pde->global_page = 0; + shadow_pde->write_through = guest_pde->write_through; + shadow_pde->cache_disable = guest_pde->cache_disable; + shadow_pde->global_page = guest_pde->global_page; // guest_pde->accessed = 1; @@ -378,18 +351,16 @@ static int handle_pde_shadow_pagefault_64(struct guest_info * info, addr_t fault 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%p\n", (void *)BASE_TO_PAGE_ADDR(guest_pde->pt_base_addr)); - if (!speculative) { - v3_raise_exception(info, MC_EXCEPTION); - } + v3_raise_exception(info, MC_EXCEPTION); return 0; } - if (handle_pte_shadow_pagefault_64(info, fault_addr, error_code, shadow_pt, guest_pt, speculative) == -1) { + if (handle_pte_shadow_pagefault_64(info, fault_addr, error_code, shadow_pt, guest_pt) == -1) { PrintError("Error handling Page fault caused by PDE\n"); return -1; } } else { - if (handle_2MB_shadow_pagefault_64(info, fault_addr, error_code, shadow_pt, (pde64_2MB_t *)guest_pde, speculative) == -1) { + if (handle_2MB_shadow_pagefault_64(info, fault_addr, error_code, shadow_pt, (pde64_2MB_t *)guest_pde) == -1) { PrintError("Error handling large pagefault\n"); return -1; } @@ -400,7 +371,7 @@ static int handle_pde_shadow_pagefault_64(struct guest_info * info, addr_t fault static int handle_pte_shadow_pagefault_64(struct guest_info * info, addr_t fault_addr, pf_error_t error_code, - pte64_t * shadow_pt, pte64_t * guest_pt, int speculative) { + pte64_t * shadow_pt, pte64_t * guest_pt) { pt_access_status_t guest_pte_access; pt_access_status_t shadow_pte_access; pte64_t * guest_pte = (pte64_t *)&(guest_pt[PTE64_INDEX(fault_addr)]);; @@ -418,9 +389,7 @@ static int handle_pte_shadow_pagefault_64(struct guest_info * info, addr_t fault (shdw_reg->host_type == SHDW_REGION_INVALID)) { // Inject a machine check in the guest PrintDebug("Invalid Guest Address in page table (0x%p)\n", (void *)guest_pa); - if (!speculative) { - v3_raise_exception(info, MC_EXCEPTION); - } + v3_raise_exception(info, MC_EXCEPTION); return 0; } @@ -433,10 +402,8 @@ static int handle_pte_shadow_pagefault_64(struct guest_info * info, addr_t fault /* Was the page fault caused by the Guest's page tables? */ if (is_guest_pf(guest_pte_access, shadow_pte_access) == 1) { PrintDebug("Access error injecting pf to guest (guest access error=%d) (pf error code=%d)\n", - guest_pte_access, *(uint_t*)&error_code); - if (!speculative) { - inject_guest_pf(info, fault_addr, error_code); - } + guest_pte_access, *(uint_t*)&error_code); + inject_guest_pf(info, fault_addr, error_code); return 0; } @@ -463,9 +430,9 @@ static int handle_pte_shadow_pagefault_64(struct guest_info * info, addr_t fault shadow_pte->user_page = guest_pte->user_page; //set according to VMM policy - shadow_pte->write_through = 0; - shadow_pte->cache_disable = 0; - shadow_pte->global_page = 0; + shadow_pte->write_through = guest_pte->write_through; + shadow_pte->cache_disable = guest_pte->cache_disable; + shadow_pte->global_page = guest_pte->global_page; // guest_pte->accessed = 1; @@ -524,10 +491,8 @@ static int handle_pte_shadow_pagefault_64(struct guest_info * info, addr_t fault return 0; } else { - // Inject page fault into the guest - if (!speculative) { - inject_guest_pf(info, fault_addr, error_code); - } + // Inject page fault into the guest + inject_guest_pf(info, fault_addr, error_code); PrintError("PTE Page fault fell through... Not sure if this should ever happen\n"); PrintError("Manual Says to inject page fault into guest\n"); return -1; @@ -540,7 +505,7 @@ static int handle_pte_shadow_pagefault_64(struct guest_info * info, addr_t fault static int handle_2MB_shadow_pagefault_64(struct guest_info * info, addr_t fault_addr, pf_error_t error_code, - pte64_t * shadow_pt, pde64_2MB_t * large_guest_pde, int speculative) + pte64_t * shadow_pt, pde64_2MB_t * large_guest_pde) { pt_access_status_t shadow_pte_access = v3_can_access_pte64(shadow_pt, fault_addr, error_code); pte64_t * shadow_pte = (pte64_t *)&(shadow_pt[PTE64_INDEX(fault_addr)]); @@ -557,10 +522,8 @@ static int handle_2MB_shadow_pagefault_64(struct guest_info * info, (shdw_reg->host_type == SHDW_REGION_INVALID)) { // Inject a machine check in the guest PrintDebug("Invalid Guest Address in page table (0x%p)\n", (void *)guest_fault_pa); - if (!speculative) { - v3_raise_exception(info, MC_EXCEPTION); - } - return -1; + v3_raise_exception(info, MC_EXCEPTION); + return 0; } if (shadow_pte_access == PT_ACCESS_OK) { @@ -606,9 +569,9 @@ static int handle_2MB_shadow_pagefault_64(struct guest_info * info, } //set according to VMM policy - shadow_pte->write_through = 0; - shadow_pte->cache_disable = 0; - shadow_pte->global_page = 0; + shadow_pte->write_through = large_guest_pde->write_through; + shadow_pte->cache_disable = large_guest_pde->cache_disable; + shadow_pte->global_page = large_guest_pde->global_page; // } else {