![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <mcall.h>
#include <stdint.h>
#include <arch/exception.h>
#include <sbi.h>
#include <vm.h>
#include <console/uart.h>
#include <commonlib/helpers.h>
Go to the source code of this file.
Functions | |
static uintptr_t | send_ipi (uintptr_t *pmask, intptr_t type) |
static uintptr_t | sbi_set_timer (uint64_t when) |
static uintptr_t | sbi_clear_ipi (void) |
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().
Definition at line 46 of file sbi.c.
References MIP_SSIP.
Referenced by handle_sbi().
Definition at line 11 of file sbi.c.
References mask, OTHER_HLS, set_msip(), and type.
Referenced by handle_sbi().