v3_reg_t guest_cr3;
v3_reg_t guest_cr0;
- // these two reflect the top-level page directory
- // of the shadow page table
- // v3_reg_t shadow_cr3;
-
- // Hash table that ties a CR3 value to a hash table pointer for the PT entries
- struct hashtable * cr3_cache;
+ /* SOON TO BE DEPRECATED */
// Hash table that contains a mapping of guest pte addresses to host pte addresses
struct hashtable * cached_ptes;
addr_t cached_cr3;
int v3_activate_shadow_pt(struct guest_info * info);
-
+int v3_activate_passthrough_pt(struct guest_info * info);
/* TODO: Change to static functions
* External visibility not needed
*/
addr_t v3_create_new_shadow_pt();
-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);
/* *** */