Symbol: xen_delay
sys/dev/xen/timer/timer.h
33
void xen_delay(int);
sys/x86/xen/pv.c
111
.early_delay = xen_delay,