At 10:46 +0100 on 18 Jun (1245322016), Zhang, Xiantao wrote:
> Hi, Tim
> Guest's preferred TSC frequency should be per-domain concept
> instead of constraining it to vcpus. If we introduce a separate save
> type for this only field, maybe too heavy.
Sorry, what I meant was: this is a property of the _guest_ so should
probably have a save record like other guest properties. The cpuid info
in the header is a property of the _host_ that saved the record and is
there just for sanity-checking the compatibility of the record (like the
version number).
Cheers,
Tim.
> In addition, TSC frequency field is saved by original proposal about
> image format, but don't know why it is dropped. See attached pdf doc.
--
Tim Deegan <Tim.Deegan@xxxxxxxxxx>
Principal Software Engineer, Citrix Systems (R&D) Ltd.
[Company #02300071, SL9 0DZ, UK.]
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel
|
Home