Lines Matching full:vcpu

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