diff --git a/sys/conf/options b/sys/conf/options --- a/sys/conf/options +++ b/sys/conf/options @@ -733,6 +733,7 @@ DEV_PFSYNC opt_pf.h DEV_SPLASH opt_splash.h DEV_VLAN opt_vlan.h +DEV_XENTIMER opt_global.h # bce driver BCE_DEBUG opt_bce.h diff --git a/sys/x86/xen/pv.c b/sys/x86/xen/pv.c --- a/sys/x86/xen/pv.c +++ b/sys/x86/xen/pv.c @@ -107,7 +107,9 @@ /*-------------------------------- Global Data -------------------------------*/ struct init_ops xen_pvh_init_ops = { .parse_preload_data = xen_pvh_parse_preload_data, +#ifdef DEV_XENTIMER .early_clock_source_init = xen_clock_init, +#endif .early_delay = xen_delay, .parse_memmap = pvh_parse_memmap, };