GUEST_SYNC
GUEST_SYNC(i);
GUEST_SYNC(CLEAR_ACCESS_FLAG); \
GUEST_SYNC(TEST_ACCESS_FLAG); \
GUEST_SYNC(0);
GUEST_SYNC(0);
GUEST_SYNC(stage);
GUEST_SYNC(CMD_CHECK_WRITE_IN_DIRTY_LOG);
GUEST_SYNC(CMD_CHECK_NO_WRITE_IN_DIRTY_LOG);
GUEST_SYNC(CMD_CHECK_S1PTW_WR_IN_DIRTY_LOG);
GUEST_SYNC(CMD_CHECK_NO_S1PTW_WR_IN_DIRTY_LOG);
GUEST_SYNC(CMD_SKIP_TEST);
GUEST_SYNC(test->mem_mark_cmd);
GUEST_SYNC(ret);
GUEST_SYNC(res.a0);
GUEST_SYNC(0);
GUEST_SYNC(1);
GUEST_SYNC(2);
GUEST_SYNC(&args);
GUEST_SYNC(0);
GUEST_SYNC(0);
GUEST_SYNC(1);
GUEST_SYNC(vals.type);
GUEST_SYNC(1);
GUEST_SYNC(1);
GUEST_SYNC(0);
GUEST_SYNC(0);
GUEST_SYNC(0);
GUEST_SYNC(0);
GUEST_SYNC(i);
GUEST_SYNC(2);
GUEST_SYNC(3);
GUEST_SYNC(4);
GUEST_SYNC(0);
GUEST_SYNC(STAGE_INITED);
GUEST_SYNC(STAGE_COPIED);
GUEST_SYNC(STAGE_SKEYS_SET);
GUEST_SYNC(STAGE_COPIED);
GUEST_SYNC(STAGE_SKEYS_SET);
GUEST_SYNC(STAGE_DONE);
GUEST_SYNC(STAGE_INITED);
GUEST_SYNC(STAGE_SKEYS_SET);
GUEST_SYNC(STAGE_COPIED);
GUEST_SYNC(STAGE_INITED);
GUEST_SYNC(STAGE_SKEYS_SET);
GUEST_SYNC(STAGE_IDLED);
GUEST_SYNC(STAGE_INITED);
GUEST_SYNC(STAGE_SKEYS_SET);
GUEST_SYNC(STAGE_COPIED);
GUEST_SYNC(STAGE_INITED); /* for consistency's sake */
GUEST_SYNC(STAGE_IDLED);
GUEST_SYNC(STAGE_INIT_SIMPLE);
GUEST_SYNC(perform_next_stage(&i, false));
GUEST_SYNC(STAGE_INIT_FETCH_PROT_OVERRIDE);
GUEST_SYNC(perform_next_stage(&i, mapped_0));
GUEST_SYNC(perform_next_stage(&i, mapped_0));
GUEST_SYNC(0);
GUEST_SYNC(0);
GUEST_SYNC(0);
GUEST_SYNC(0);
GUEST_SYNC(1);
GUEST_SYNC(0);
GUEST_SYNC(1);
GUEST_SYNC(0);
GUEST_SYNC(1);
GUEST_SYNC(0);
GUEST_SYNC(1);
GUEST_SYNC(TEST_SAVE_RESTORE);
GUEST_SYNC(TEST_SAVE_RESTORE);
GUEST_SYNC(TEST_SAVE_RESTORE);
GUEST_SYNC(TEST_SAVE_TILEDATA | TEST_COMPARE_TILEDATA | TEST_SAVE_RESTORE);
GUEST_SYNC(TEST_RESTORE_TILEDATA);
GUEST_SYNC(TEST_SAVE_RESTORE);
GUEST_SYNC(TEST_SAVE_RESTORE);
GUEST_SYNC(TEST_SAVE_RESTORE);
GUEST_SYNC(TEST_SAVE_RESTORE);
GUEST_SYNC(TEST_SAVE_RESTORE);
GUEST_SYNC(TEST_COMPARE_TILEDATA | TEST_SAVE_RESTORE);
GUEST_SYNC(1);
GUEST_SYNC(2);
GUEST_SYNC(1);
GUEST_SYNC(2);
GUEST_SYNC(3);
GUEST_SYNC(4);
GUEST_SYNC(5);
GUEST_SYNC(6);
GUEST_SYNC(7);
GUEST_SYNC(8);
GUEST_SYNC(9);
GUEST_SYNC(10);
GUEST_SYNC(4);
GUEST_SYNC(5);
GUEST_SYNC(6);
GUEST_SYNC(10);
GUEST_SYNC(11);
GUEST_SYNC(7);
GUEST_SYNC(8);
GUEST_SYNC(9);
GUEST_SYNC(1);
GUEST_SYNC(2);
GUEST_SYNC(3);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(6);
GUEST_SYNC(3);
GUEST_SYNC(5);
GUEST_SYNC(1);
GUEST_SYNC(2);
GUEST_SYNC(4);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(stage++);
GUEST_SYNC(fixup_rdmsr_val(msr->index, msr->write_val));
GUEST_SYNC(0);
GUEST_SYNC(msr->reset_val);
GUEST_SYNC(TEST_SYNC_NO_FAULT);
GUEST_SYNC(TEST_SYNC_NO_FAULT);
GUEST_SYNC(TEST_SYNC_NO_FAULT);
GUEST_SYNC(TEST_SYNC_NO_FAULT);
GUEST_SYNC(page0 | TEST_SYNC_READ_FAULT);
GUEST_SYNC(page0 | TEST_SYNC_WRITE_FAULT);
GUEST_SYNC(page0 | TEST_SYNC_NO_FAULT);
GUEST_SYNC(page1 | TEST_SYNC_WRITE_FAULT);
GUEST_SYNC(page1 | TEST_SYNC_WRITE_FAULT);
GUEST_SYNC(page1 | TEST_SYNC_NO_FAULT);
GUEST_SYNC(SS_VECTOR);
GUEST_SYNC(GP_VECTOR);
GUEST_SYNC(DF_VECTOR);
GUEST_SYNC(FAKE_TRIPLE_FAULT_VECTOR);
GUEST_SYNC(adjust);
GUEST_SYNC(vmcb_idx);
GUEST_SYNC(1);
GUEST_SYNC(2);
GUEST_SYNC(3);
GUEST_SYNC(4);
GUEST_SYNC(5);
GUEST_SYNC(6);
GUEST_SYNC(true);
GUEST_SYNC(false);
GUEST_SYNC(0);
GUEST_SYNC(0);
GUEST_SYNC(0);
GUEST_SYNC(0);
GUEST_SYNC(0);
GUEST_SYNC(0);
GUEST_SYNC(-EFAULT);
GUEST_SYNC(rdmsr(MSR_CORE_PERF_FIXED_CTR0 + idx));
GUEST_SYNC(-EIO);
GUEST_SYNC(-EIO);
GUEST_SYNC(1);
GUEST_SYNC(1);
GUEST_SYNC(7);
GUEST_SYNC(8);
GUEST_SYNC(9);
GUEST_SYNC(13);
GUEST_SYNC(1);
GUEST_SYNC(2);
GUEST_SYNC(4);
GUEST_SYNC(6);
GUEST_SYNC(3);
GUEST_SYNC(5);
GUEST_SYNC(7);
GUEST_SYNC(6);
GUEST_SYNC(10);
GUEST_SYNC(11);
GUEST_SYNC(12);
GUEST_SYNC(3);
GUEST_SYNC(4);
GUEST_SYNC(5);
GUEST_SYNC(2);
GUEST_SYNC(3);
GUEST_SYNC(4);
GUEST_SYNC(5);
GUEST_SYNC(SYNC_SECOND_UCNA);
GUEST_SYNC(SYNC_GP);
GUEST_SYNC(SYNC_FIRST_UCNA);
GUEST_SYNC(0);
GUEST_SYNC(0);
GUEST_SYNC(0);
GUEST_SYNC(vmreadz(APIC_ACCESS_ADDR));
GUEST_SYNC(vmreadz(APIC_ACCESS_ADDR));
GUEST_SYNC(1);
GUEST_SYNC(1);
GUEST_SYNC(val);
GUEST_SYNC(val);
GUEST_SYNC(true);
GUEST_SYNC(false);
GUEST_SYNC(TEST_GUEST_SAW_IRQ);
GUEST_SYNC(TEST_INJECT_VECTOR);
GUEST_SYNC(TEST_RUNSTATE_runnable);
GUEST_SYNC(TEST_RUNSTATE_blocked);
GUEST_SYNC(TEST_RUNSTATE_offline);
GUEST_SYNC(TEST_RUNSTATE_ADJUST);
GUEST_SYNC(TEST_RUNSTATE_DATA);
GUEST_SYNC(TEST_STEAL_TIME);
GUEST_SYNC(TEST_EVTCHN_MASKED);
GUEST_SYNC(TEST_EVTCHN_UNMASKED);
GUEST_SYNC(TEST_EVTCHN_SLOWPATH);
GUEST_SYNC(TEST_EVTCHN_SEND_IOCTL);
GUEST_SYNC(TEST_EVTCHN_HCALL);
GUEST_SYNC(TEST_EVTCHN_HCALL_SLOWPATH);
GUEST_SYNC(TEST_EVTCHN_HCALL_EVENTFD);
GUEST_SYNC(TEST_TIMER_SETUP);
GUEST_SYNC(TEST_TIMER_WAIT);
GUEST_SYNC(TEST_TIMER_RESTORE);
GUEST_SYNC(TEST_POLL_READY);
GUEST_SYNC(TEST_POLL_TIMEOUT);
GUEST_SYNC(TEST_POLL_MASKED);
GUEST_SYNC(TEST_POLL_WAKE);
GUEST_SYNC(SET_VCPU_INFO);
GUEST_SYNC(TEST_TIMER_PAST);
GUEST_SYNC(TEST_LOCKING_SEND_RACE);
GUEST_SYNC(TEST_LOCKING_POLL_RACE);
GUEST_SYNC(TEST_LOCKING_POLL_TIMEOUT);
GUEST_SYNC(TEST_DONE);