Partial support for dev86 and cygwin

[palacios-OLD.git] / palacios / src / palacios / vmm_ctrl_regs.c

diff --git a/palacios/src/palacios/vmm_ctrl_regs.c b/palacios/src/palacios/vmm_ctrl_regs.c
index 4b0ff65..91b0fc2 100644 (file)
--- a/palacios/src/palacios/vmm_ctrl_regs.c
+++ b/palacios/src/palacios/vmm_ctrl_regs.c
@@ -207,6 +207,7 @@ int handle_cr0_write(struct guest_info * info) {
        ret = read_guest_va_memory(info, get_addr_linear(info, info->rip, &(info->segments.cs)), 15, instr);
       }
        
+
       if (ret != 15) {
        // I think we should inject a GPF into the guest
        PrintDebug("Could not read instruction (ret=%d)\n", ret);