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: BSD-3-Clause */
2 
3 #ifndef _ARCH_EXCEPTION_H
4 #define _ARCH_EXCEPTION_H
5 
6 #include <stdint.h>
7 
8 void exception_init(void);
9 void set_vbar(uint32_t vbar);
10 
11 #endif
exception_init
void exception_init(void)
Definition: exception.c:120
set_vbar
void set_vbar(uint32_t vbar)
uint32_t
unsigned int uint32_t
Definition: stdint.h:14