Snitch Runtime
Loading...
Searching...
No Matches
riscv_decls.h
1// Copyright 2023 ETH Zurich and University of Bologna.
2// Licensed under the Apache License, Version 2.0, see LICENSE for details.
3// SPDX-License-Identifier: Apache-2.0
4
5#pragma once
6
7#include <stdint.h>
8
9static inline void snrt_wfi();
10
11static inline uint32_t snrt_mcycle();
12
13inline void snrt_interrupt_enable(uint32_t irq);
14
15inline void snrt_interrupt_disable(uint32_t irq);
16
17inline void snrt_interrupt_global_enable(void);
18
19inline void snrt_interrupt_global_disable(void);