Searched defs:timer_vector (Results 1 – 1 of 1) sorted by relevance
730 uint32_t timer_vector; in lapic_set_timer() local749 uint32_t timer_vector; in lapic_config_timer() local769 uint32_t timer_vector; in lapic_config_tsc_deadline_timer() local