On 16.10.26 19:06, Teddy Astie wrote: > We actually didn't fail to "save secondary vcpu time info" but > just to unregister the mapping of it. > > Reported-by: Andrew Cooper > Signed-off-by: Teddy Astie Reviewed-by: Juergen Gross Juergen