/*
 * Copyright (c) 2016, ARM Limited and Contributors. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef ADDRESSMAP_H
#define ADDRESSMAP_H

#include <addressmap_shared.h>

/* Registers base address */
#define MMIO_BASE		0xF8000000

/* Aggregate of all devices in the first GB */
#define DEV_RNG0_BASE		MMIO_BASE
#define DEV_RNG0_SIZE		SIZE_M(125)

#endif /* ADDRESSMAP_H */