#include <palacios/vm_guest.h>
#include <palacios/vmm_ctrl_regs.h>

int v3_vmx_handle_cr0_write(struct guest_info * info, v3_reg_t new_val);