Lines Matching defs:hyp

91 	    hypctx->hyp->vtimer.cntvoff_el2;
93 		vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),
128 vtimer_vminit(struct hyp *hyp)
132 	hyp->vtimer.cnthctl_el2 = cnthctl_el2_reg;
152 		hyp->vtimer.cnthctl_el2 &= ~CNTHCTL_E2H_EL0PCTEN;
153 		hyp->vtimer.cnthctl_el2 |= CNTHCTL_E2H_EL0VCTEN;
154 		hyp->vtimer.cnthctl_el2 |= CNTHCTL_E2H_EL0VTEN;
155 		hyp->vtimer.cnthctl_el2 &= ~CNTHCTL_E2H_EL0PTEN;
157 		hyp->vtimer.cnthctl_el2 &= ~CNTHCTL_E2H_EL1PTEN;
158 		hyp->vtimer.cnthctl_el2 &= ~CNTHCTL_E2H_EL1PCTEN;
165 		hyp->vtimer.cnthctl_el2 &= ~CNTHCTL_EL1PCEN;
166 		hyp->vtimer.cnthctl_el2 &= ~CNTHCTL_EL1PCTEN;
170 	hyp->vtimer.cntvoff_el2 = now;
215 vtimer_vmcleanup(struct hyp *hyp)
242 	    hypctx->hyp->vtimer.cntvoff_el2;
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),
289 	    hypctx->hyp->vtimer.cntvoff_el2;
292 		vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(hypctx->vcpu),
322 	vgic_inject_irq(hypctx->hyp, vcpu_vcpuid(vcpu), timer->irqid, false);
339 	struct hyp *hyp;
345 	hyp = hypctx->hyp;
348 	cntpct_el0 = READ_SPECIALREG(cntpct_el0) - hyp->vtimer.cntvoff_el2;
389 	struct hyp *hyp;
392 	hyp = vm_get_cookie(vm);
393 	*rval = READ_SPECIALREG(cntpct_el0) - hyp->vtimer.cntvoff_el2;
439 	struct hyp *hyp;
445 	hyp = hypctx->hyp;
458 		    hyp->vtimer.cntvoff_el2;
468 	struct hyp *hyp;
474 	hyp = hypctx->hyp;
477 	cntpct_el0 = READ_SPECIALREG(cntpct_el0) - hyp->vtimer.cntvoff_el2;