coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
sbi.c File Reference
#include <mcall.h>
#include <stdint.h>
#include <arch/exception.h>
#include <sbi.h>
#include <vm.h>
#include <console/uart.h>
#include <commonlib/helpers.h>
Include dependency graph for sbi.c:

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)
 

Function Documentation

◆ handle_sbi()

◆ sbi_clear_ipi()

static uintptr_t sbi_clear_ipi ( void  )
static

Definition at line 46 of file sbi.c.

References MIP_SSIP.

Referenced by handle_sbi().

Here is the caller graph for this function:

◆ sbi_set_timer()

static uintptr_t sbi_set_timer ( uint64_t  when)
static

Definition at line 25 of file sbi.c.

References HLS, MIP_MTIP, and MIP_STIP.

Referenced by handle_sbi().

Here is the caller graph for this function:

◆ send_ipi()

static uintptr_t send_ipi ( uintptr_t pmask,
intptr_t  type 
)
static

Definition at line 11 of file sbi.c.

References mask, OTHER_HLS, set_msip(), and type.

Referenced by handle_sbi().

Here is the call graph for this function:
Here is the caller graph for this function: