X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_shadow_paging.h;h=330f7abd266fe580352b38bedc719a6f6d0f7860;hb=f4b074d9bf5c28dfd6e5fd616805ade2e9473b01;hp=853f85141a2a599a4907f10bcd456376a986b61e;hpb=bf0d677f3d92f5949c3a73dad30aaf330201da44;p=palacios-OLD.git diff --git a/palacios/include/palacios/vmm_shadow_paging.h b/palacios/include/palacios/vmm_shadow_paging.h index 853f851..330f7ab 100644 --- a/palacios/include/palacios/vmm_shadow_paging.h +++ b/palacios/include/palacios/vmm_shadow_paging.h @@ -1,3 +1,6 @@ +/* (c) 2008, Jack Lange */ +/* (c) 2008, The V3VEE Project */ + #ifndef __VMM_SHADOW_PAGING_H #define __VMM_SHADOW_PAGING_H @@ -6,6 +9,7 @@ #include #include +#include struct shadow_page_state { @@ -23,6 +27,12 @@ struct shadow_page_state { ullong_t shadow_cr3; + // Hash table that ties a CR3 value to a hash table pointer for the PT entries + struct hashtable * cr3_cache; + // Hash table that contains a mapping of guest pte addresses to host pte addresses + struct hashtable * cached_ptes; + addr_t cached_cr3; + }; @@ -31,7 +41,7 @@ struct guest_info; - +int cache_page_tables32(struct guest_info * info, addr_t pde); int init_shadow_page_state(struct guest_info * info);