On 3 February 2021 16:38:43 GMT, Paolo Bonzini <pbonzini@xxxxxxxxxx> wrote: >On 03/02/21 16:01, David Woodhouse wrote: >> >> +struct vcpu_runstate_info { >> + uint32_t state; >> + uint64_t state_entry_time; >> + uint64_t time[4]; >> +}; >> + >> +static void guest_code(void) >> +{ >> + struct vcpu_runstate_info *rs = (void *)RUNSTATE_ADDR; >> + >> + /* Scribble on the runstate, just to make sure that... */ >> + rs->state = 0x5a; >> + >> + GUEST_SYNC(1); >> + >> + /* ... it is being set to RUNSTATE_running */ >> + GUEST_ASSERT(rs->state == 0); >> + GUEST_DONE(); >> +} > >Leftovers? Oops, yes sorry. That wants taking out too. It'll be a few hours or perhaps tomorrow before I can repost. -- Sent from my Android device with K-9 Mail. Please excuse my brevity.