Searched refs:peripherals (Results 1 – 3 of 3) sorted by relevance
32 regs->peripherals.cntv_ctl_el0 |= CNTV_CTL_EL0_IMASK; in arch_timer_mask()40 uintreg_t cntv_ctl_el0 = regs->peripherals.cntv_ctl_el0; in arch_timer_enabled()65 uintreg_t cntv_cval_el0 = regs->peripherals.cntv_cval_el0; in arch_timer_remaining_ticks()95 if (regs->peripherals.cntv_ctl_el0 & CNTV_CTL_EL0_ISTATUS) { in arch_timer_pending()
84 vcpu->regs.peripherals.cntv_cval_el0 = in complete_saving_state()86 vcpu->regs.peripherals.cntv_ctl_el0 = in complete_saving_state()89 vcpu->regs.peripherals.cntv_cval_el0 = read_msr(cntv_cval_el0); in complete_saving_state()90 vcpu->regs.peripherals.cntv_ctl_el0 = read_msr(cntv_ctl_el0); in complete_saving_state()133 vcpu->regs.peripherals.cntv_cval_el0); in begin_restoring_state()135 vcpu->regs.peripherals.cntv_ctl_el0); in begin_restoring_state()138 write_msr(cntv_cval_el0, vcpu->regs.peripherals.cntv_cval_el0); in begin_restoring_state()139 write_msr(cntv_ctl_el0, vcpu->regs.peripherals.cntv_ctl_el0); in begin_restoring_state()
156 } peripherals; member
Completed in 8 milliseconds