Home
last modified time | relevance | path

Searched refs:xentimer_pcpu_data (Results 1 – 1 of 1) sorted by relevance

/src/sys/dev/xen/timer/
H A Dxen_timer.c84 struct xentimer_pcpu_data { struct
90 DPCPU_DEFINE(struct xentimer_pcpu_data, xentimer_pcpu); argument
274 struct xentimer_pcpu_data *pcpu = DPCPU_PTR(xentimer_pcpu); in xentimer_intr()
320 struct xentimer_pcpu_data *pcpu = DPCPU_PTR(xentimer_pcpu); in xentimer_et_start()
351 struct xentimer_pcpu_data *pcpu = DPCPU_PTR(xentimer_pcpu); in xentimer_et_stop()
375 struct xentimer_pcpu_data *pcpu; in xentimer_attach()