Searched refs:apic_timer_write (Results 1 – 4 of 4) sorted by relevance
106 apic_timer_write(1000000000); in apic_check_working()180 apic_timer_write(1000000000); in l4_calibrate_apic()
109 L4_INLINE void apic_timer_write(unsigned long value);184 apic_timer_write(unsigned long value) in apic_timer_write() function
Completed in 6 milliseconds