#ifndef DELAY_H | |
#define DELAY_H | |
#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 | |
void init_timer(void); | |
void udelay(unsigned int usecs); | |
void mdelay(unsigned int msecs); | |
void delay(unsigned int secs); | |
#endif /* DELAY_H */ |