blob: 958a51bdda1f0f93ff1527d49ec360c761b26aa3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
/* SPDX-License-Identifier: BSD-3-Clause */
/* This file is part of the coreboot project. */
#ifndef _ARCH_EXCEPTION_H
#define _ARCH_EXCEPTION_H
#include <stdint.h>
void exception_init(void);
void set_vbar(uint32_t vbar);
#endif
|