274 	struct xentimer_pcpu_data *pcpu = DPCPU_PTR(xentimer_pcpu);  in xentimer_intr()  local
276 	pcpu->last_processed = xen_fetch_vcpu_time(DPCPU_GET(vcpu_info));  in xentimer_intr()
277 	if (pcpu->timer != 0 && sc->et.et_active)  in xentimer_intr()
320 	struct xentimer_pcpu_data *pcpu = DPCPU_PTR(xentimer_pcpu);  in xentimer_et_start()  local
340 	pcpu->timer = next_time;  in xentimer_et_start()
351 	struct xentimer_pcpu_data *pcpu = DPCPU_PTR(xentimer_pcpu);  in xentimer_et_stop()  local
353 	pcpu->timer = 0;  in xentimer_et_stop()
375 		struct xentimer_pcpu_data *pcpu;  in xentimer_attach()  local
377 		pcpu = DPCPU_ID_PTR(i, xentimer_pcpu);  in xentimer_attach()
386 		    NULL, sc, INTR_TYPE_CLK, &pcpu->irq_handle);  in xentimer_attach()
392 		xen_intr_describe(pcpu->irq_handle, "c%d", i);  in xentimer_attach()