Searched refs:xen_init_time_ops (Results 1 – 3 of 3) sorted by relevance
65 void __init xen_init_time_ops(void);
509 void __init xen_init_time_ops(void) in xen_init_time_ops() function
1544 xen_init_time_ops(); in xen_start_kernel()