2003-04-22 21:02:15 +02:00
|
|
|
#ifndef DELAY_H
|
|
|
|
#define DELAY_H
|
2010-02-22 07:09:43 +01:00
|
|
|
|
2019-07-01 09:12:45 +02:00
|
|
|
#include <stdint.h>
|
|
|
|
|
|
|
|
#if CONFIG_UDELAY_LAPIC_FIXED_FSB != 0
|
|
|
|
static inline u32 get_timer_fsb(void)
|
|
|
|
{
|
|
|
|
return CONFIG_UDELAY_LAPIC_FIXED_FSB;
|
|
|
|
}
|
|
|
|
#else
|
|
|
|
u32 get_timer_fsb(void);
|
|
|
|
#endif
|
|
|
|
|
2010-02-22 07:09:43 +01:00
|
|
|
void init_timer(void);
|
|
|
|
|
2017-03-07 03:01:04 +01:00
|
|
|
void udelay(unsigned int usecs);
|
|
|
|
void mdelay(unsigned int msecs);
|
|
|
|
void delay(unsigned int secs);
|
2003-04-22 21:02:15 +02:00
|
|
|
#endif /* DELAY_H */
|