Virtual platform timers are not sync''ed with guest''s TSC any more since c/s 17716. Thus pt_reset is now useless. Signed-off-by: Kouya Shimura <kouya@jp.fujitsu.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xensource.com http://lists.xensource.com/xen-devel