riscv_platform_timer.h File Reference

#include "pico.h"
#include "hardware/structs/sio.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.
static void	riscv_timer_set_fullspeed (bool fullspeed)
	Configure the RISC-V platform timer to run at full system clock speed.
static uint64_t	riscv_timer_get_mtime (void)
	Read the RISC-V platform timer.
static void	riscv_timer_set_mtime (uint64_t mtime)
	Update the RISC-V platform timer.
static uint64_t	riscv_timer_get_mtimecmp (void)
	Get the current RISC-V platform timer mtimecmp value for this core.
static void	riscv_timer_set_mtimecmp (uint64_t mtimecmp)
	Set a new RISC-V platform timer interrupt comparison value (mtimecmp) for this core.