Re: [RFC] fix VMX TSC synchronicity

Avi Kivity
2008-01-15T14:59:47Z

Marcelo Tosatti wrote:
> So the first patch seemed alright (taking into account the comments from
> my previous email, that migration should probably be fixed in a separate
> patch since its broken already and that its guaranteed that vcpu0 is the
> first to hit vcpu_load).
>

I really would like not to have this dependency. It's easy to write
userspace that doesn't do this and there's no reason not to.

--
error compiling committee.c: too many arguments to function