coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
cpu.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef __ARCH_CPU_H__
4 #define __ARCH_CPU_H__
5 
6 /* TODO: Implement using SEV/WFE if this is ever actually used. */
7 static inline void cpu_relax(void) { }
8 
9 #define asmlinkage
10 
11 struct cpu_driver { };
12 
13 #endif /* __ARCH_CPU_H__ */
cpu_relax
static void cpu_relax(void)
Definition: cpu.h:7
cpu_driver
Definition: cpu.h:13