global_interrupt_decls.h

// Copyright 2023 ETH Zurich and University of Bologna.
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0
 
#pragma once
 
#include <stdint.h>
 
inline void snrt_int_sw_clear(uint32_t hartid);
 
inline void snrt_int_sw_set(uint32_t hartid);
 
inline uint32_t snrt_int_sw_get(uint32_t hartid);