coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
exception.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef _ARCH_EXCEPTION_H
4 #define _ARCH_EXCEPTION_H
5 
6 static inline void exception_init(void)
7 {
8 }
9 
10 #endif
exception_init
void exception_init(void)
Definition: exception.c:120