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

int v3_vmx_handle_cr0_access(struct guest_info * info);
int v3_vmx_handle_cr3_access(struct guest_info * info);