Snitch Runtime
Loading...
Searching...
No Matches
global_interrupt_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
9inline void snrt_int_sw_clear(uint32_t hartid);
10
11inline void snrt_int_sw_set(uint32_t hartid);
12
13inline uint32_t snrt_int_sw_get(uint32_t hartid);