+/* Northwestern University */
+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+
#include <palacios/vmm_mem.h>
#include <palacios/vmm.h>
#include <palacios/vmcb.h>
#endif
-
-
-
// First Attempt = 494 lines
// current = 106 lines
int handle_cr0_write(struct guest_info * info) {
-// First Attemp = 256 lines
+// First Attempt = 256 lines
// current = 65 lines
int handle_cr3_write(struct guest_info * info) {
int ret;
cached = cache_page_tables32(info, CR3_TO_PDE32(*(addr_t *)new_cr3));
+
if (cached == -1) {
PrintError("CR3 Cache failed\n");
return -1;
} else if (cached == 0) {
-
-
addr_t shadow_pt;
-
PrintDebug("New CR3 is different - flushing shadow page table\n");
return -1;
}
-
info->rip += dec_instr.instr_length;
return 0;
}
-
-
-
-