blob: 50e9180dcc37d07191d990a7577b3cdc54897c47 (
plain) (
tree)
|
|
/**
* @file
*
* @ingroup rapberrypi_mmu
*
* @brief MMU API.
*/
/*
* Copyright (c) 2013 Alan Cudmore.
* based on work by:
* Copyright (c) 2009
* embedded brains GmbH
* Obere Lagerstr. 30
* D-82178 Puchheim
* Germany
* <rtems@embedded-brains.de>
*
* The license and distribution terms for this file may be
* found in the file LICENSE in this distribution or at
*
* http://www.rtems.com/license/LICENSE
*
*/
#ifndef LIBBSP_ARM_RASPBERRYPI_MMU_H
#define LIBBSP_ARM_RASPBERRYPI_MMU_H
#include <libcpu/arm-cp15.h>
#ifdef __cplusplus
extern "C" {
#endif /* __cplusplus */
/**
* @defgroup raspberrypi_mmu MMU Support
*
* @ingroup raspberrypi
*
* @brief MMU support.
*
* @{
*/
#define RASPBERRYPI_MMU_CLIENT_DOMAIN 15U
#define RASPBERRYPI_MMU_READ_ONLY \
((RASPBERRYPI_MMU_CLIENT_DOMAIN << ARM_MMU_SECT_DOMAIN_SHIFT) \
| ARM_MMU_SECT_DEFAULT)
#define RASPBERRYPI_MMU_READ_ONLY_CACHED \
(RASPBERRYPI_MMU_READ_ONLY | ARM_MMU_SECT_C | ARM_MMU_SECT_B)
#define RASPBERRYPI_MMU_READ_WRITE \
((RASPBERRYPI_MMU_CLIENT_DOMAIN << ARM_MMU_SECT_DOMAIN_SHIFT) \
| ARM_MMU_SECT_AP_0 \
| ARM_MMU_SECT_DEFAULT)
#define RASPBERRYPI_MMU_READ_WRITE_CACHED \
(RASPBERRYPI_MMU_READ_WRITE | ARM_MMU_SECT_C | ARM_MMU_SECT_B)
/** @} */
#ifdef __cplusplus
}
#endif /* __cplusplus */
#endif /* LIBBSP_ARM_RASPBERRYPI_MMU_H */
|