Searched refs:apic_timer_t (Results 1 – 1 of 1) sorted by relevance
78 } apic_timer_t; typedef80 static apic_timer_t apic_timer;