race_sync_regs
race_sync_regs(vcpu, race_sregs_cr4);
race_sync_regs(vcpu, race_events_exc);
race_sync_regs(vcpu, race_events_inj_pen);