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);
728 lapic_timer_count_t initial_count) in lapic_set_timer()791 lapic_timer_count_t initial_count) in lapic_set_timer_fast()814 lapic_timer_count_t *initial_count, in lapic_get_timer()815 lapic_timer_count_t *current_count) in lapic_get_timer()