X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_direct_paging.c;h=257efa37a1003a2d289e0feea836de3237b62853;hb=57de08049d9a345445d26741c5ee0f7f9e5c2fcc;hp=d244aacb89944c01ba9519548574794770e8dc0f;hpb=81a57a6aa9705663af95c6330a9911c4b34df75c;p=palacios.git diff --git a/palacios/src/palacios/vmm_direct_paging.c b/palacios/src/palacios/vmm_direct_paging.c index d244aac..257efa3 100644 --- a/palacios/src/palacios/vmm_direct_paging.c +++ b/palacios/src/palacios/vmm_direct_paging.c @@ -24,6 +24,13 @@ #include #include + +#ifndef DEBUG_NESTED_PAGING +#undef PrintDebug +#define PrintDebug(fmt, args...) +#endif + + static addr_t create_generic_pt_page() { void * page = 0; page = V3_VAddr(V3_AllocPages(1)); @@ -35,15 +42,54 @@ static addr_t create_generic_pt_page() { // Inline handler functions for each cpu mode #include "vmm_direct_paging_32.h" #include "vmm_direct_paging_32pae.h" +#include "vmm_direct_paging_64.h" + +int v3_init_passthrough_pts(struct guest_info * info) { + info->direct_map_pt = (addr_t)V3_PAddr((void *)create_generic_pt_page()); + return 0; +} + +int v3_reset_passthrough_pts(struct guest_info * info) { + v3_cpu_mode_t mode = v3_get_cpu_mode(info); + + // Delete the old direct map page tables + switch(mode) { + case REAL: + case PROTECTED: + delete_page_tables_32((pde32_t *)V3_VAddr((void *)(info->direct_map_pt))); + break; + case PROTECTED_PAE: + case LONG: + case LONG_32_COMPAT: + // Long mode will only use 32PAE page tables... + delete_page_tables_32pae((pdpe32pae_t *)V3_VAddr((void *)(info->direct_map_pt))); + break; + default: + PrintError("Unknown CPU Mode\n"); + break; + } + + // create new direct map page table + v3_init_passthrough_pts(info); + + return 0; +} + +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 -addr_t v3_create_direct_passthrough_pts(struct guest_info * info) { - return create_generic_pt_page(); + info->ctrl_regs.cr3 = *(addr_t*)&(info->direct_map_pt); + //PrintError("Activate Passthrough Page tables not implemented\n"); + return 0; } + int v3_handle_passthrough_pagefault(struct guest_info * info, addr_t fault_addr, pf_error_t error_code) { - v3_vm_cpu_mode_t mode = v3_get_cpu_mode(info); - + v3_cpu_mode_t mode = v3_get_cpu_mode(info); + switch(mode) { case REAL: case PROTECTED: @@ -61,3 +107,76 @@ int v3_handle_passthrough_pagefault(struct guest_info * info, addr_t fault_addr, } return -1; } + + + +int v3_handle_nested_pagefault(struct guest_info * info, addr_t fault_addr, pf_error_t error_code) { + // THIS IS VERY BAD + v3_cpu_mode_t mode = LONG; + + + PrintDebug("Nested PageFault: fault_addr=%p, error_code=%u\n",(void*)fault_addr, *(uint_t *)&error_code); + + switch(mode) { + case REAL: + case PROTECTED: + return handle_passthrough_pagefault_32(info, fault_addr, error_code); + + case PROTECTED_PAE: + return handle_passthrough_pagefault_32pae(info, fault_addr, error_code); + + case LONG: + case LONG_32_COMPAT: + return handle_passthrough_pagefault_64(info, fault_addr, error_code); + + default: + PrintError("Unknown CPU Mode\n"); + break; + } + return -1; +} + +int v3_invalidate_passthrough_addr(struct guest_info * info, addr_t inv_addr) { + v3_cpu_mode_t mode = v3_get_cpu_mode(info); + + switch(mode) { + case REAL: + case PROTECTED: + return invalidate_addr_32(info, inv_addr); + + case PROTECTED_PAE: + case LONG: + case LONG_32_COMPAT: + // Long mode will only use 32PAE page tables... + return invalidate_addr_32pae(info, inv_addr); + + default: + PrintError("Unknown CPU Mode\n"); + break; + } + return -1; +} + + +int v3_invalidate_nested_addr(struct guest_info * info, addr_t inv_addr) { + v3_cpu_mode_t mode = LONG; + + switch(mode) { + case REAL: + case PROTECTED: + return invalidate_addr_32(info, inv_addr); + + case PROTECTED_PAE: + return invalidate_addr_32pae(info, inv_addr); + + case LONG: + case LONG_32_COMPAT: + return invalidate_addr_64(info, inv_addr); + + default: + PrintError("Unknown CPU Mode\n"); + break; + } + + return -1; +}