coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
timer.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 void udelay(unsigned int n);
4 void udelay(unsigned int n)
5 {
6  /* TODO provide delay here. */
7 }
8 
9 int init_timer(void);
10 int init_timer(void)
11 {
12  return 0;
13 }
init_timer
__weak void init_timer(void)
Definition: timer.c:7
udelay
void udelay(unsigned int usec)
Definition: timer.c:9