xen_initclocks
void xen_initclocks(void);
void (*x86_initclock_func)(void) = xen_initclocks;
xen_initclocks();
x86_initclock_func = xen_initclocks;
x86_initclock_func = xen_initclocks;