Searched refs:cntv_cval_el0 (Results 1 – 3 of 3) sorted by relevance
65 uintreg_t cntv_cval_el0 = regs->peripherals.cntv_cval_el0; in arch_timer_remaining_ticks() local68 if (cntv_cval_el0 >= cntvct_el0) { in arch_timer_remaining_ticks()69 return cntv_cval_el0 - cntvct_el0; in arch_timer_remaining_ticks()140 uintreg_t cntv_cval_el0 = has_vhe_support() in arch_timer_remaining_ticks_current() local142 : read_msr(cntv_cval_el0); in arch_timer_remaining_ticks_current()145 if (cntv_cval_el0 >= cntvct_el0) { in arch_timer_remaining_ticks_current()146 return cntv_cval_el0 - cntvct_el0; in arch_timer_remaining_ticks_current()
84 vcpu->regs.peripherals.cntv_cval_el0 = in complete_saving_state()89 vcpu->regs.peripherals.cntv_cval_el0 = read_msr(cntv_cval_el0); in complete_saving_state()114 write_msr(cnthp_cval_el2, read_msr(cntv_cval_el0)); in complete_saving_state()133 vcpu->regs.peripherals.cntv_cval_el0); in begin_restoring_state()138 write_msr(cntv_cval_el0, vcpu->regs.peripherals.cntv_cval_el0); in begin_restoring_state()
154 uintreg_t cntv_cval_el0; member
Completed in 5 milliseconds