coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
sbi.h
Go to the documentation of this file.
1
/* SPDX-License-Identifier: GPL-2.0-only */
2
3
#ifndef RISCV_SBI_H
4
#define RISCV_SBI_H
5
6
#define SBI_SET_TIMER 0
7
#define SBI_CONSOLE_PUTCHAR 1
8
#define SBI_CONSOLE_GETCHAR 2
9
#define SBI_CLEAR_IPI 3
10
#define SBI_SEND_IPI 4
11
#define SBI_REMOTE_FENCE_I 5
12
#define SBI_REMOTE_SFENCE_VMA 6
13
#define SBI_REMOTE_SFENCE_VMA_ASID 7
14
#define SBI_SHUTDOWN 8
15
16
#define SBI_ENOSYS 38
17
18
#define IPI_SOFT 1
19
#define IPI_FENCE_I 2
20
#define IPI_SFENCE_VMA 4
21
#define IPI_SFENCE_VMA_ASID 8
22
#define IPI_SHUTDOWN 16
23
24
void
handle_sbi
(
trapframe
*tf);
25
26
#endif
/* RISCV_SBI_H */
handle_sbi
void handle_sbi(trapframe *tf)
Definition:
sbi.c:58
trapframe
Definition:
exception.h:8
src
arch
riscv
include
sbi.h
Generated by
1.9.1