bool vcpu_handle_msr_read(struct registers *guest_regs);
bool vcpu_handle_msr_write(struct registers *guest_regs);
+void vcpu_reset(struct registers *guest_regs);
+
#endif
printk("CPU %d received SIPI, vector %x\n",
cpu_data->cpu_id, sipi_vector);
svm_vcpu_reset(cpu_data, sipi_vector);
- memset(guest_regs, 0, sizeof(*guest_regs));
+ vcpu_reset(guest_regs);
}
iommu_check_pending_faults(cpu_data);
return;
vcpu_skip_emulated_instruction(X86_INST_LEN_WRMSR);
return true;
}
+
+void vcpu_reset(struct registers *guest_regs)
+{
+ memset(guest_regs, 0, sizeof(*guest_regs));
+}
printk("CPU %d received SIPI, vector %x\n",
cpu_data->cpu_id, sipi_vector);
vmx_vcpu_reset(sipi_vector);
- memset(guest_regs, 0, sizeof(*guest_regs));
+ vcpu_reset(guest_regs);
}
iommu_check_pending_faults(cpu_data);
return;