Lines Matching defs:cnthctl_el2
114 vtimer_init(uint64_t cnthctl_el2)
116 cnthctl_el2_reg = cnthctl_el2;
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;