coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
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) |
Definition at line 58 of file sbi.c.
References __unused, arg0, trapframe::gpr, IPI_FENCE_I, IPI_SFENCE_VMA, IPI_SFENCE_VMA_ASID, IPI_SHUTDOWN, IPI_SOFT, SBI_CLEAR_IPI, sbi_clear_ipi(), SBI_CONSOLE_GETCHAR, SBI_CONSOLE_PUTCHAR, SBI_ENOSYS, SBI_REMOTE_FENCE_I, SBI_REMOTE_SFENCE_VMA, SBI_REMOTE_SFENCE_VMA_ASID, SBI_SEND_IPI, SBI_SET_TIMER, sbi_set_timer(), SBI_SHUTDOWN, and send_ipi().
Referenced by trap_handler().