1 /* SPDX-License-Identifier: GPL-2.0-only */
8 #if CONFIG_UDELAY_LAPIC_FIXED_FSB != 0
9 static inline u32
get_timer_fsb(void)
11 return CONFIG_UDELAY_LAPIC_FIXED_FSB
;
14 u32
get_timer_fsb(void);
17 void init_timer(void);
19 void udelay(unsigned int usecs
);
20 void mdelay(unsigned int msecs
);
21 void delay(unsigned int secs
);