Searched refs:cnthctl_el2 (Results 1 – 4 of 4) sorted by relevance
168 hyp->vtimer.cnthctl_el2 = in vtimer_vminit()172 hyp->vtimer.cnthctl_el2 |= in vtimer_vminit()178 hyp->vtimer.cnthctl_el2 |= in vtimer_vminit()191 hyp->vtimer.cnthctl_el2 = in vtimer_vminit()195 hyp->vtimer.cnthctl_el2 = in vtimer_vminit()202 hyp->vtimer.cnthctl_el2 |= CNTHCTL_ECV_EN; in vtimer_vminit()295 if ((hypctx->hyp->vtimer.cnthctl_el2 & CNTHCTL_ECV_EN) != 0) { in vtimer_sync_hwstate()
41 uint64_t cnthctl_el2; member
486 WRITE_SPECIALREG(cnthctl_el2, hyp->vtimer.cnthctl_el2); in vmm_hyp_reg_restore()563 uint64_t ich_hcr_el2, ich_vmcr_el2, cnthctl_el2, cntkctl_el1; in vmm_hyp_call_guest() local571 ecv_poff = (hyp->vtimer.cnthctl_el2 & CNTHCTL_ECV_EN) != 0; in vmm_hyp_call_guest()579 cnthctl_el2 = READ_SPECIALREG(cnthctl_el2); in vmm_hyp_call_guest()663 WRITE_SPECIALREG(cnthctl_el2, cnthctl_el2); in vmm_hyp_call_guest()
456 msr cnthctl_el2, x3