Lines Matching refs:cnthctl_el2
114 vtimer_init(uint64_t cnthctl_el2) in vtimer_init() argument
116 cnthctl_el2_reg = cnthctl_el2; in vtimer_init()
132 hyp->vtimer.cnthctl_el2 = cnthctl_el2_reg; in vtimer_vminit()
152 hyp->vtimer.cnthctl_el2 &= ~CNTHCTL_E2H_EL0PCTEN; in vtimer_vminit()
153 hyp->vtimer.cnthctl_el2 |= CNTHCTL_E2H_EL0VCTEN; in vtimer_vminit()
154 hyp->vtimer.cnthctl_el2 |= CNTHCTL_E2H_EL0VTEN; in vtimer_vminit()
155 hyp->vtimer.cnthctl_el2 &= ~CNTHCTL_E2H_EL0PTEN; in vtimer_vminit()
157 hyp->vtimer.cnthctl_el2 &= ~CNTHCTL_E2H_EL1PTEN; in vtimer_vminit()
158 hyp->vtimer.cnthctl_el2 &= ~CNTHCTL_E2H_EL1PCTEN; in vtimer_vminit()
165 hyp->vtimer.cnthctl_el2 &= ~CNTHCTL_EL1PCEN; in vtimer_vminit()
166 hyp->vtimer.cnthctl_el2 &= ~CNTHCTL_EL1PCTEN; in vtimer_vminit()