coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
sbi.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define SBI_SET_TIMER   0
 
#define SBI_CONSOLE_PUTCHAR   1
 
#define SBI_CONSOLE_GETCHAR   2
 
#define SBI_CLEAR_IPI   3
 
#define SBI_SEND_IPI   4
 
#define SBI_REMOTE_FENCE_I   5
 
#define SBI_REMOTE_SFENCE_VMA   6
 
#define SBI_REMOTE_SFENCE_VMA_ASID   7
 
#define SBI_SHUTDOWN   8
 
#define SBI_ENOSYS   38
 
#define IPI_SOFT   1
 
#define IPI_FENCE_I   2
 
#define IPI_SFENCE_VMA   4
 
#define IPI_SFENCE_VMA_ASID   8
 
#define IPI_SHUTDOWN   16
 

Functions

void handle_sbi (trapframe *tf)
 

Macro Definition Documentation

◆ IPI_FENCE_I

#define IPI_FENCE_I   2

Definition at line 19 of file sbi.h.

◆ IPI_SFENCE_VMA

#define IPI_SFENCE_VMA   4

Definition at line 20 of file sbi.h.

◆ IPI_SFENCE_VMA_ASID

#define IPI_SFENCE_VMA_ASID   8

Definition at line 21 of file sbi.h.

◆ IPI_SHUTDOWN

#define IPI_SHUTDOWN   16

Definition at line 22 of file sbi.h.

◆ IPI_SOFT

#define IPI_SOFT   1

Definition at line 18 of file sbi.h.

◆ SBI_CLEAR_IPI

#define SBI_CLEAR_IPI   3

Definition at line 9 of file sbi.h.

◆ SBI_CONSOLE_GETCHAR

#define SBI_CONSOLE_GETCHAR   2

Definition at line 8 of file sbi.h.

◆ SBI_CONSOLE_PUTCHAR

#define SBI_CONSOLE_PUTCHAR   1

Definition at line 7 of file sbi.h.

◆ SBI_ENOSYS

#define SBI_ENOSYS   38

Definition at line 16 of file sbi.h.

◆ SBI_REMOTE_FENCE_I

#define SBI_REMOTE_FENCE_I   5

Definition at line 11 of file sbi.h.

◆ SBI_REMOTE_SFENCE_VMA

#define SBI_REMOTE_SFENCE_VMA   6

Definition at line 12 of file sbi.h.

◆ SBI_REMOTE_SFENCE_VMA_ASID

#define SBI_REMOTE_SFENCE_VMA_ASID   7

Definition at line 13 of file sbi.h.

◆ SBI_SEND_IPI

#define SBI_SEND_IPI   4

Definition at line 10 of file sbi.h.

◆ SBI_SET_TIMER

#define SBI_SET_TIMER   0

Definition at line 6 of file sbi.h.

◆ SBI_SHUTDOWN

#define SBI_SHUTDOWN   8

Definition at line 14 of file sbi.h.

Function Documentation

◆ handle_sbi()