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