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);
741 lapic_timer_count_t initial_count) in lapic_set_timer()804 lapic_timer_count_t initial_count) in lapic_set_timer_fast()827 lapic_timer_count_t *initial_count, in lapic_get_timer()828 lapic_timer_count_t *current_count) in lapic_get_timer()