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