On 17.02.20 12:01, David Hildenbrand wrote: > As discussed, I think there is room for improvement in the future (which > we could have documented in the patch description), because this is > obviously sub-optimal. > Will use the following as patch description Guest registers for protected guests are stored at offset 0x380. We will copy those to the usual places. Long term we could refactor this or use register access functions. > Reviewed-by: David Hildenbrand <david@xxxxxxxxxx> >