Searched refs:timer_vector (Results 1 – 1 of 1) sorted by relevance
730 uint32_t timer_vector; in lapic_set_timer() local733 timer_vector = LAPIC_READ(LVT_TIMER); in lapic_set_timer()737 LAPIC_WRITE(LVT_TIMER, timer_vector); in lapic_set_timer()749 uint32_t timer_vector; in lapic_config_timer() local752 timer_vector = LAPIC_READ(LVT_TIMER); in lapic_config_timer()753 timer_vector &= ~(LAPIC_LVT_MASKED | in lapic_config_timer()758 LAPIC_WRITE(LVT_TIMER, timer_vector); in lapic_config_timer()769 uint32_t timer_vector; in lapic_config_tsc_deadline_timer() local773 timer_vector = LAPIC_READ(LVT_TIMER); in lapic_config_tsc_deadline_timer()774 timer_vector &= ~(LAPIC_LVT_MASKED | in lapic_config_tsc_deadline_timer()[all …]