global_interrupts.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
 
inline void snrt_int_sw_clear(uint32_t hartid) {
    snrt_mutex_acquire(snrt_clint_mutex_ptr());
    *(snrt_clint_msip_ptr(hartid)) &= ~(1 << (hartid & 0x1f));
    snrt_mutex_release(snrt_clint_mutex_ptr());
}
 
inline void snrt_int_sw_set(uint32_t hartid) {
    snrt_mutex_acquire(snrt_clint_mutex_ptr());
    *(snrt_clint_msip_ptr(hartid)) |= (1 << (hartid & 0x1f));
    snrt_mutex_release(snrt_clint_mutex_ptr());
}
 
inline uint32_t snrt_int_sw_get(uint32_t hartid) {
    snrt_mutex_acquire(snrt_clint_mutex_ptr());
    uint32_t ret = *(snrt_clint_msip_ptr(hartid)) >> (hartid & 0x1f);
    snrt_mutex_release(snrt_clint_mutex_ptr());
    return ret;
}