On 25/01/2017 14:06, Marcelo Tosatti wrote: >>> Well you don't know: we could implement it in case of HPET clocksource >>> hosts. >> But then the guest wouldn't have a TSC value to use, would it? >> >> Also, how would it use more padding? > I don't know, maybe pass the TSC and host HPET read in the structure? > (after exposing the HPET to the guest). > > Or maybe you want to sync CLOCK_MONOTONIC and that requires other data. > > Not sure. > > Just some space if new features are necessary. Fair enough. Paolo
