coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
clint.c File Reference
#include <mcall.h>
#include <device/mmio.h>
Include dependency graph for clint.c:

Go to the source code of this file.

Macros

#define SPIKE_CLINT_BASE   0x02000000
 

Functions

void mtime_init (void)
 
void set_msip (int hartid, int val)
 

Macro Definition Documentation

◆ SPIKE_CLINT_BASE

#define SPIKE_CLINT_BASE   0x02000000

Definition at line 6 of file clint.c.

Function Documentation

◆ mtime_init()

void mtime_init ( void  )

Definition at line 9 of file clint.c.

References HLS, and SPIKE_CLINT_BASE.

◆ set_msip()

void set_msip ( int  hartid,
int  val 
)

Definition at line 16 of file clint.c.

References SPIKE_CLINT_BASE, val, and write32().

Here is the call graph for this function: