STAGE_COPIED
HOST_SYNC(copy_cpu, STAGE_COPIED);
HOST_SYNC(copy_cpu, STAGE_COPIED);
HOST_SYNC(test->vcpu, STAGE_COPIED);
HOST_SYNC(test->vcpu, STAGE_COPIED);
GUEST_SYNC(STAGE_COPIED);
HOST_SYNC(t.vcpu, STAGE_COPIED);
GUEST_SYNC(STAGE_COPIED);
GUEST_SYNC(STAGE_COPIED);
GUEST_SYNC(STAGE_COPIED);
HOST_SYNC(t.vcpu, STAGE_COPIED);
HOST_SYNC(t.vcpu, STAGE_COPIED);