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 <mainboard/addressmap.h>
Include dependency graph for clint.c:

Go to the source code of this file.

Functions

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

Function Documentation

◆ mtime_init()

void mtime_init ( void  )

Definition at line 8 of file clint.c.

◆ set_msip()

void set_msip ( int  hartid,
int  val 
)

Definition at line 15 of file clint.c.