Symbol: xentimer_pcpu_data
sys/dev/xen/timer/xen_timer.c
274
struct xentimer_pcpu_data *pcpu = DPCPU_PTR(xentimer_pcpu);
sys/dev/xen/timer/xen_timer.c
320
struct xentimer_pcpu_data *pcpu = DPCPU_PTR(xentimer_pcpu);
sys/dev/xen/timer/xen_timer.c
351
struct xentimer_pcpu_data *pcpu = DPCPU_PTR(xentimer_pcpu);
sys/dev/xen/timer/xen_timer.c
375
struct xentimer_pcpu_data *pcpu;
sys/dev/xen/timer/xen_timer.c
90
DPCPU_DEFINE(struct xentimer_pcpu_data, xentimer_pcpu);