Searched refs:cnthctl_el2_reg (Results 1 – 1 of 1) sorted by relevance
58 static uint64_t cnthctl_el2_reg; variable116 cnthctl_el2_reg = cnthctl_el2; in vtimer_init()132 hyp->vtimer.cnthctl_el2 = cnthctl_el2_reg; in vtimer_vminit()