77 		eprintf("No active vcpu\n");  in vtimer_virtual_timer_intr()
93 		vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),  in vtimer_virtual_timer_intr()
182 	 * Configure physical timer interrupts for the VCPU.  in vtimer_cpuinit()
244 		vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),  in vtimer_sync_hwstate()
247 		vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),  in vtimer_sync_hwstate()
250 		vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),  in vtimer_sync_hwstate()
262 	vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),  in vtimer_inject_irq_callout_phys()
272 	vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),  in vtimer_inject_irq_callout_virt()
292 		vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),  in vtimer_schedule_irq()
307 vtimer_remove_irq(struct hypctx *hypctx, struct vcpu *vcpu)  in vtimer_remove_irq()  argument
322 	vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(vcpu), timer->irqid, false);  in vtimer_remove_irq()
337 vtimer_phys_ctl_read(struct vcpu *vcpu, uint64_t *rval, void *arg)  in vtimer_phys_ctl_read()  argument
344 	hypctx = vcpu_get_cookie(vcpu);  in vtimer_phys_ctl_read()
359 vtimer_phys_ctl_write(struct vcpu *vcpu, uint64_t wval, void *arg)  in vtimer_phys_ctl_write()  argument
366 	hypctx = vcpu_get_cookie(vcpu);  in vtimer_phys_ctl_write()
375 		vtimer_remove_irq(hypctx, vcpu);  in vtimer_phys_ctl_write()
386 vtimer_phys_cnt_read(struct vcpu *vcpu, uint64_t *rval, void *arg)  in vtimer_phys_cnt_read()  argument
391 	vm = vcpu_vm(vcpu);  in vtimer_phys_cnt_read()
398 vtimer_phys_cnt_write(struct vcpu *vcpu, uint64_t wval, void *arg)  in vtimer_phys_cnt_write()  argument
404 vtimer_phys_cval_read(struct vcpu *vcpu, uint64_t *rval, void *arg)  in vtimer_phys_cval_read()  argument
409 	hypctx = vcpu_get_cookie(vcpu);  in vtimer_phys_cval_read()
418 vtimer_phys_cval_write(struct vcpu *vcpu, uint64_t wval, void *arg)  in vtimer_phys_cval_write()  argument
423 	hypctx = vcpu_get_cookie(vcpu);  in vtimer_phys_cval_write()
428 	vtimer_remove_irq(hypctx, vcpu);  in vtimer_phys_cval_write()
437 vtimer_phys_tval_read(struct vcpu *vcpu, uint64_t *rval, void *arg)  in vtimer_phys_tval_read()  argument
444 	hypctx = vcpu_get_cookie(vcpu);  in vtimer_phys_tval_read()
466 vtimer_phys_tval_write(struct vcpu *vcpu, uint64_t wval, void *arg)  in vtimer_phys_tval_write()  argument
473 	hypctx = vcpu_get_cookie(vcpu);  in vtimer_phys_tval_write()
480 	vtimer_remove_irq(hypctx, vcpu);  in vtimer_phys_tval_write()