Searched refs:lapic_timer_count_t (Results 1 – 2 of 2) sorted by relevance
206 typedef uint32_t lapic_timer_count_t; typedef282 lapic_timer_count_t initial_count);288 lapic_timer_count_t initial_count);293 lapic_timer_count_t *initial_count,294 lapic_timer_count_t *current_count);
742 lapic_timer_count_t initial_count) in lapic_set_timer()805 lapic_timer_count_t initial_count) in lapic_set_timer_fast()828 lapic_timer_count_t *initial_count, in lapic_get_timer()829 lapic_timer_count_t *current_count) in lapic_get_timer()