Searched defs:timer_vector (Results 1 – 1 of 1) sorted by relevance
729 uint32_t timer_vector; in lapic_set_timer() local748 uint32_t timer_vector; in lapic_config_timer() local768 uint32_t timer_vector; in lapic_config_tsc_deadline_timer() local