pmp.h

Go to the documentation of this file.

/*
 * SPDX-FileCopyrightText: 2023 Bennet Blischke <bennet.blischke@haw-hamburg.de>
 * SPDX-License-Identifier: LGPL-2.1-only
 */
 
#pragma once

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

#define PMP_NONE    0x00    
#define PMP_R       0x01    
#define PMP_W       0x02    
#define PMP_X       0x04    
 
#define PMP_A       0x18    
#define PMP_OFF     0x00    
#define PMP_TOR     0x08    
#define PMP_NA4     0x10    
#define PMP_NAPOT   0x18    
 
#define PMP_L       0x80    

static inline uint32_t make_napot(uint32_t addr, uint32_t size)
{
    assert(addr % size == 0);
    return addr | ((size - 1) >> 1);
}

void write_pmpcfg(uint8_t reg_num, uint32_t value);

uint32_t read_pmpcfg(uint8_t reg_num);

void write_pmpaddr(uint8_t reg_num, uint32_t value);

uint32_t read_pmpaddr(uint8_t reg_num);

uint8_t get_pmpcfg(uint8_t entry);

void set_pmpcfg(uint8_t entry, uint8_t value);

void print_pmpcfg(uint8_t entry);
 
#ifdef __cplusplus
}
#endif