Symbol: xentimer_et_start
sys/dev/xen/timer/xen_timer.c
404
sc->et.et_start = xentimer_et_start;
sys/dev/xen/timer/xen_timer.c
461
xentimer_et_start(&sc->et, sc->et.et_min_period, 0);