Searched defs:timer_vector (Results 1 – 1 of 1) sorted by relevance
743 uint32_t timer_vector; in lapic_set_timer() local762 uint32_t timer_vector; in lapic_config_timer() local782 uint32_t timer_vector; in lapic_config_tsc_deadline_timer() local