riscv_platform_timer.h File Reference

#include "pico.h"
#include "hardware/structs/sio.h"

Include dependency graph for riscv_platform_timer.h:

Go to the source code of this file.

Functions
static void	riscv_timer_set_enabled (bool enabled)
	Enable or disable the RISC-V platform timer. More...
static void	riscv_timer_set_fullspeed (bool fullspeed)
	Configure the RISC-V platform timer to run at full system clock speed. More...
static uint64_t	riscv_timer_get_mtime (void)
	Read the RISC-V platform timer. More...
static void	riscv_timer_set_mtime (uint64_t mtime)
	Update the RISC-V platform timer. More...
static uint64_t	riscv_timer_get_mtimecmp (void)
	Get the current RISC-V platform timer mtimecmp value for this core. More...
static void	riscv_timer_set_mtimecmp (uint64_t mtimecmp)
	Set a new RISC-V platform timer interrupt comparison value (mtimecmp) for this core. More...