Searched refs:xen_time_init (Results 1 – 1 of 1) sorted by relevance
509 static void __init xen_time_init(void) in xen_time_init() function577 x86_init.timers.timer_init = xen_time_init; in xen_init_time_ops()636 x86_init.timers.setup_percpu_clockev = xen_time_init; in xen_hvm_init_time_ops()