HOST_SYNC
HOST_SYNC(t.vcpu, STAGE_INITED);
HOST_SYNC(t.vcpu, STAGE_IDLED); /* To sync new state to SIE block */
HOST_SYNC(t.vcpu, STAGE_IDLED); /* Run to sync new state */
HOST_SYNC(t.vcpu, STAGE_INITED);
HOST_SYNC(copy_cpu, STAGE_COPIED);
HOST_SYNC(copy_cpu, STAGE_COPIED);
HOST_SYNC(test->vcpu, STAGE_COPIED);
HOST_SYNC(test->vcpu, STAGE_COPIED);
HOST_SYNC(t.vcpu, STAGE_INITED);
HOST_SYNC(t.vcpu, STAGE_INITED);
HOST_SYNC(t.vcpu, STAGE_COPIED);
HOST_SYNC(t.vcpu, STAGE_SKEYS_SET);
HOST_SYNC(t.vcpu, STAGE_SKEYS_SET);
HOST_SYNC(*info, STAGE_DONE);
HOST_SYNC(t.vcpu, STAGE_SKEYS_SET);
HOST_SYNC(t.vcpu, STAGE_INITED);
HOST_SYNC(t.vcpu, STAGE_SKEYS_SET);
HOST_SYNC(t.vcpu, STAGE_INITED);
HOST_SYNC(t.vcpu, STAGE_SKEYS_SET);
HOST_SYNC(t.vcpu, STAGE_INITED);
HOST_SYNC(t.vcpu, STAGE_SKEYS_SET);
HOST_SYNC(t.vcpu, STAGE_INITED);
HOST_SYNC(t.vcpu, STAGE_SKEYS_SET);
HOST_SYNC(t.vcpu, STAGE_INITED);
HOST_SYNC(t.vcpu, STAGE_SKEYS_SET);
HOST_SYNC(t.vcpu, STAGE_IDLED);
HOST_SYNC(t.vcpu, STAGE_INITED);
HOST_SYNC(t.vcpu, STAGE_SKEYS_SET);
HOST_SYNC(t.vcpu, STAGE_INITED);
HOST_SYNC(t.vcpu, STAGE_SKEYS_SET);
HOST_SYNC(t.vcpu, STAGE_COPIED);
HOST_SYNC(t.vcpu, STAGE_COPIED);
HOST_SYNC(t.vcpu, STAGE_INITED);
HOST_SYNC(t.vcpu, STAGE_SKEYS_SET);
HOST_SYNC(t.vcpu, STAGE_INITED);
HOST_SYNC(t.vcpu, STAGE_SKEYS_SET);
HOST_SYNC(vcpu, STAGE_INIT_SIMPLE);
HOST_SYNC(vcpu, TEST_SIMPLE);
HOST_SYNC(vcpu, STAGE_INIT_FETCH_PROT_OVERRIDE);
HOST_SYNC(vcpu, TEST_FETCH_PROT_OVERRIDE);
HOST_SYNC(vcpu, TEST_STORAGE_PROT_OVERRIDE);