Searched refs:xen_init_time_ops (Results 1 – 3 of 3) sorted by relevance
72 void __init xen_init_time_ops(void);
491 void __init xen_init_time_ops(void) in xen_init_time_ops() function
1555 xen_init_time_ops(); in xen_start_kernel()