cpu_common.h

Go to the documentation of this file.

/*
 * SPDX-FileCopyrightText: 2020 Koen Zandberg <koen@bergzand.net>
 * SPDX-License-Identifier: LGPL-2.1-only
 */
 
#pragma once

 
#include <stdint.h>
 
#include "irq_arch.h"
 
#ifdef __cplusplus
extern "C" {
#endif

void riscv_init(void);

void riscv_fpu_init(void);

void riscv_irq_init(void);

static inline uintptr_t cpu_get_caller_pc(void)
{
    /* This function must exist else RIOT won't compile */
    return 0;
}

static inline __attribute__((always_inline))
void cpu_reg_enable_bits(volatile uint32_t *reg, uint32_t mask)
{
    __atomic_fetch_or(reg, mask, __ATOMIC_RELAXED);
}

static inline __attribute__((always_inline))
void cpu_reg_disable_bits(volatile uint32_t *reg, uint32_t mask)
{
    __atomic_fetch_and(reg, ~mask, __ATOMIC_RELAXED);
}
 
#ifdef __cplusplus
}
#endif