u32_t uint32_t
Definition stdint.h:13
Memory barrier definitions for RISC-V architecture.
Cache control functions for RISC-V architecture.
Interrupt control functions for RISC-V architecture.
int sysmap_add_mem_region(uint32_t start_addr, uint32_t len, uint32_t mem_attr)
Adds a memory region to the system memory map.
Definition cache.c:101
void mmu_enable(void)
Enable the SV39 MMU with cache initialization.
Definition cache.c:221