tree 08e33898ebc2a7936b6558bce19773ea33983d22
parent c2eb6a383df9889759e5f4833634cb1f83a59d3c
author Wedson Almeida Filho <wedsonaf@google.com> 1543190883 +0000
committer Wedson Almeida Filho <wedsonaf@google.com> 1545149681 +0000

Ensure that register state is saved before it's used.

Without this there is a race where a physical CPU is still saving the
contents of registers into a vCPU buffer while another physical CPU
is already trying to restore the state.

Also adding test case that fails without this fix and succeeds with it.

Change-Id: I0badfd61f12385a3d8dc8d09eb298cfe56f2a415