Searched refs:xen_time_setup_guest (Results 1 – 4 of 4) sorted by relevance
171 void __init xen_time_setup_guest(void) in xen_time_setup_guest() function
36 void xen_time_setup_guest(void);
398 xen_time_setup_guest(); in xen_guest_init()
522 xen_time_setup_guest(); in xen_time_init()