Searched refs:rtc_timer_t (Results 1 – 2 of 2) sorted by relevance
150 rtc_timer_t rtc_timer_lapic = {155 rtc_timer_t rtc_timer_tsc_deadline = {160 rtc_timer_t *rtc_timer = &rtc_timer_lapic; /* defaults to LAPIC timer */
66 } rtc_timer_t; typedef67 extern rtc_timer_t *rtc_timer;