ret = -EFAULT;
offset += sizeof(v->arch.xcr0_accum);
- if ( !ret )
+
+ /* Serialise xsave state, if there is any. */
+ if ( !ret && size > PV_XSAVE_HDR_SIZE )
{
- void *xsave_area;
+ unsigned int xsave_size = size - PV_XSAVE_HDR_SIZE;
+ void *xsave_area = xmalloc_bytes(xsave_size);
- xsave_area = xmalloc_bytes(size);
if ( !xsave_area )
{
ret = -ENOMEM;
goto vcpuextstate_out;
}
- expand_xsave_states(v, xsave_area,
- size - PV_XSAVE_HDR_SIZE);
+ expand_xsave_states(v, xsave_area, xsave_size);
if ( copy_to_guest_offset(evc->buffer, offset, xsave_area,
- size - PV_XSAVE_HDR_SIZE) )
+ xsave_size) )
ret = -EFAULT;
xfree(xsave_area);
}