Searched refs:xen_time_setup_guest (Results 1 – 4 of 4) sorted by relevance
172 void __init xen_time_setup_guest(void) in xen_time_setup_guest() function
37 void xen_time_setup_guest(void);
517 xen_time_setup_guest(); in xen_time_init()
527 xen_time_setup_guest(); in xen_guest_init()