Lines Matching refs:regs
32 timer->regs = config.vaddr;
42 uint64_t initial_high = timer->regs->counter_high;
43 uint64_t low = timer->regs->counter_low;
44 uint64_t high = timer->regs->counter_high;
47 low = timer->regs->counter_low;
74 timer->regs->ctrl = BIT(SYSTEM_TIMER_MATCH);
77 timer->regs->compare[SYSTEM_TIMER_MATCH] = timeout;
80 if (time >= ns && !(timer->regs->ctrl & BIT(SYSTEM_TIMER_MATCH))) {
81 timer->regs->ctrl = BIT(SYSTEM_TIMER_MATCH);
94 timer->regs->ctrl = BIT(SYSTEM_TIMER_MATCH);
105 timer->regs->ctrl = BIT(SYSTEM_TIMER_MATCH);