vexriscv.h

Go to the documentation of this file.

// Copyright (C) 2013-2026 Efinix Inc. All rights reserved.
// Full license header bsp/efinix/EfxSapphireSocRV64/include/LICENSE.MD
 
#pragma once
#ifndef VEX_RISCV_H_
#define VEX_RISCV_H_
 
#include "riscv.h"
#include "type.h"
 
#if __riscv_xlen == 32 // Currently Only implemented in Vex-i RV32
//Invalidate the whole data cache
#define data_cache_invalidate_all() asm(".word(0x500F)");
 
//Invalidate all the data cache ways lines which could store the given address
#define data_cache_invalidate_address(address)     \
({                                             \
    asm volatile(                              \
     ".word ((0x500F) | (regnum_%0 << 15));"   \
     :                                         \
     : "r" (address)                               \
    );                                         \
})
#endif
 
//Invalidate the whole instruction cache
#define instruction_cache_invalidate() asm("fence.i");
 
 
#endif // VEX_RISCV_H_