union {
uint16_t value;
struct {
+ // These reflect the VMM's intent for the shadow or nested pts
+ // that will implement the region. The guest's intent is in
+ // its own page tables.
uint8_t read : 1;
uint8_t write : 1;
uint8_t exec : 1;
struct v3_mem_region * v3_get_mem_region(struct v3_vm_info * vm, uint16_t core_id, addr_t guest_addr);
-struct v3_mem_region * v3_get_next_mem_region(struct v3_vm_info * vm, uint16_t core_id, addr_t guest_addr);
-
-void v3_print_mem_map(struct v3_vm_info * vm);
+uint32_t v3_get_max_page_size(struct guest_info * core, addr_t fault_addr, v3_cpu_mode_t mode);
+void v3_print_mem_map(struct v3_vm_info * vm);
-#endif // ! __V3VEE__
+#endif /* ! __V3VEE__ */
#endif