Searched refs:initial_count (Results 1 – 3 of 3) sorted by relevance
282 lapic_timer_count_t initial_count);288 lapic_timer_count_t initial_count);293 lapic_timer_count_t *initial_count,
728 lapic_timer_count_t initial_count) in lapic_set_timer() argument739 LAPIC_WRITE(TIMER_INITIAL_COUNT, initial_count); in lapic_set_timer()791 lapic_timer_count_t initial_count) in lapic_set_timer_fast() argument794 LAPIC_WRITE(TIMER_INITIAL_COUNT, initial_count); in lapic_set_timer_fast()814 lapic_timer_count_t *initial_count, in lapic_get_timer() argument825 if (initial_count) { in lapic_get_timer()826 *initial_count = LAPIC_READ(TIMER_INITIAL_COUNT); in lapic_get_timer()
223 unsigned int initial_count = rwlock->reader_wait_queue.count; in fibers_rwlock_wrunlock_helper() local231 …unt == initial_count, "fibers_rwlock_wrunlock_helper: reader count mismatch after waking readers (… in fibers_rwlock_wrunlock_helper()