Searched refs:xen_get_wallclock (Results 1 – 1 of 1) sorted by relevance
181 static unsigned long xen_get_wallclock(void) in xen_get_wallclock() function478 x86_platform.get_wallclock = xen_get_wallclock; in xen_init_time_ops()513 x86_platform.get_wallclock = xen_get_wallclock; in xen_hvm_init_time_ops()