1  /* SPDX-License-Identifier: GPL-2.0-only */
 2  
 3  #ifndef DELAY_H
 4  #define DELAY_H
 5  
 6  #include <stdint.h>
 7  
 8  #if CONFIG_UDELAY_LAPIC_FIXED_FSB != 0
 9  static inline u32 get_timer_fsb(void)
10  {
11  	return CONFIG_UDELAY_LAPIC_FIXED_FSB;
12  }
13  #else
14  u32 get_timer_fsb(void);
15  #endif
16  
17  void init_timer(void);
18  
19  void udelay(unsigned int usecs);
20  void mdelay(unsigned int msecs);
21  void delay(unsigned int secs);
22  #endif /* DELAY_H */