xen_delay
void xen_delay(unsigned int);
void (*delay_func)(unsigned int) = xen_delay;
delay_func = x86_delay = xen_delay;