coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
delay.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <bl_uapp/bl_syscall_public.h>
4 #include <delay.h>
5 #include <stdint.h>
6 
7 void udelay(uint32_t usecs)
8 {
9  svc_delay_in_usec(usecs);
10 }
void svc_delay_in_usec(uint32_t delay)
Definition: svc.c:36
void udelay(uint32_t usecs)
Definition: delay.c:7
unsigned int uint32_t
Definition: stdint.h:14