Searched refs:cnthctl_el2 (Results 1 – 4 of 4) sorted by relevance
114 vtimer_init(uint64_t cnthctl_el2) in vtimer_init() argument116 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()[all …]
450 WRITE_SPECIALREG(cnthctl_el2, hyp->vtimer.cnthctl_el2); in vmm_hyp_reg_restore()504 uint64_t ich_hcr_el2, ich_vmcr_el2, cnthctl_el2, cntkctl_el1; in vmm_hyp_call_guest() local512 cnthctl_el2 = READ_SPECIALREG(cnthctl_el2); in vmm_hyp_call_guest()591 WRITE_SPECIALREG(cnthctl_el2, cnthctl_el2); in vmm_hyp_call_guest()617 return (READ_SPECIALREG(cnthctl_el2)); in VMM_HYP_FUNC()
241 uint64_t cnthctl_el2; in vmmops_modinit() local447 cnthctl_el2 = vmm_read_reg(HYP_REG_CNTHCTL); in vmmops_modinit()450 vtimer_init(cnthctl_el2); in vmmops_modinit()
398 msr cnthctl_el2, x3