Lines Matching refs:timer
67 #include <kern/timer.h>
76 * timer_init initializes a timer.
80 timer_t timer)
82 timer->tstamp = 0;
84 timer->all_bits = 0;
86 timer->low_bits = 0;
87 timer->high_bits = 0;
88 timer->high_bits_check = 0;
93 * Calculate the difference between a timer
98 timer_t timer,
103 *save = new = timer_grab(timer);
110 timer_t timer,
114 timer->all_bits += delta;
118 low = delta + timer->low_bits;
120 timer_update(timer, (uint32_t)(timer->high_bits + (low >> 32)), (uint32_t)low);
122 timer->low_bits = (uint32_t)low;
128 timer_t timer,
131 timer->tstamp = tstamp;
136 timer_t timer,
139 timer_advance(timer, tstamp - timer->tstamp);
143 * Update the timer and start a new one.
147 timer_t timer,
151 timer_advance(timer, tstamp - timer->tstamp);
158 * Machine-dependent code implements the timer event routine.
164 * Update the current thread timer and
165 * start the new timer. Requires a current
166 * and new timer.
176 timer_t timer;
179 * Update current timer.
181 timer = PROCESSOR_DATA(processor, thread_timer);
182 timer_advance(timer, tstamp - timer->tstamp);
185 * Start new timer.