1 #ifndef __VMM_SHADOW_PAGING_H
2 #define __VMM_SHADOW_PAGING_H
6 #include <palacios/vmm_util.h>
10 #include <palacios/vmm_paging.h>
12 struct shadow_page_state {
14 // these two reflect the top-level page directory
15 // of the guest page table
16 paging_mode_t guest_mode;
17 reg_ex_t guest_cr3; // points to guest's current page table
19 // Should this be here??
22 // these two reflect the top-level page directory
23 // the shadow page table
24 paging_mode_t shadow_mode;
38 int init_shadow_page_state(struct shadow_page_state * state);
40 // This function will cause the shadow page table to be deleted
41 // and rewritten to reflect the guest page table and the shadow map
42 int wholesale_update_shadow_page_state(struct guest_info * guest_info);