blob: d7c1575cc9d101a7e88339d45bfa74522148166f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
#include <delay.h>
void init_timer(void)
{
}
void udelay(unsigned int n)
{
}
|