Searched refs:apic_timer_read (Results 1 – 4 of 4) sorted by relevance
115 tt1=apic_timer_read(); in apic_check_working()122 tt2=apic_timer_read(); in apic_check_working()194 tt1=apic_timer_read(); in l4_calibrate_apic()200 tt2=apic_timer_read(); in l4_calibrate_apic()
110 L4_INLINE unsigned long apic_timer_read(void);193 apic_timer_read(void) in apic_timer_read() function
Completed in 5 milliseconds