>>> On 09.12.14 at 11:24, <via...@gmail.com> wrote:
> - Where in code (Xen 4.2) can I find part responsible for time emulation
> (while tsc_mode=1)

xen/arch/x86/time.c:tsc_set_info() is where things get set up.

> - Where can I find code in Xen which sends the current time to kernel

xen/arch/x86/time.c:__update_vcpu_system_time()

Jan


_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel

Reply via email to