@@ -306,8 +306,10 @@ int vcpu_init_fpu(struct vcpu *v)
void vcpu_reset_fpu(struct vcpu *v)
{
+ struct xsave_struct *xsave_area = vcpu_map_xsave_area(v);
+
v->fpu_initialised = false;
- *v->arch.xsave_area = (struct xsave_struct) {
+ *xsave_area = (struct xsave_struct) {
.fpu_sse = {
.mxcsr = MXCSR_DEFAULT,
.fcw = FCW_RESET,
@@ -315,15 +317,21 @@ void vcpu_reset_fpu(struct vcpu *v)
},
.xsave_hdr.xstate_bv = X86_XCR0_X87,
};
+
+ vcpu_unmap_xsave_area(v, xsave_area);
}
void vcpu_setup_fpu(struct vcpu *v, const void *data)
{
+ struct xsave_struct *xsave_area = vcpu_map_xsave_area(v);
+
v->fpu_initialised = true;
- *v->arch.xsave_area = (struct xsave_struct) {
+ *xsave_area = (struct xsave_struct) {
.fpu_sse = *(const fpusse_t*)data,
.xsave_hdr.xstate_bv = XSTATE_FP_SSE,
};
+
+ vcpu_unmap_xsave_area(v, xsave_area);
}
/* Free FPU's context save area */
No functional change. Signed-off-by: Alejandro Vallejo <alejandro.vallejo@cloud.com> --- xen/arch/x86/i387.c | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-)