1/* 2 * Copyright 2017, Data61 3 * Commonwealth Scientific and Industrial Research Organisation (CSIRO) 4 * ABN 41 687 119 230. 5 * 6 * This software may be distributed and modified according to the terms of 7 * the GNU General Public License version 2. Note that NO WARRANTY is provided. 8 * See "LICENSE_GPLv2.txt" for details. 9 * 10 * @TAG(DATA61_GPL) 11 */ 12 13#ifndef __ARCH_HARDWARE_32_H 14#define __ARCH_HARDWARE_32_H 15 16#include <config.h> 17#include <arch/machine/hardware.h> 18#include <plat/machine/hardware.h> 19 20/* 21 * 0xffe00000 asid id slot (arm/arch/kernel/vspace.h) 22 * 0xfff00000 devices (plat/machine/devices.h) 23 * 0xffff0000 vectors (arch/machine/hardware.h) 24 * 0xffffc000 global page (arch/machine/hardware.h) 25 */ 26#define BASE_OFFSET (kernelBase - physBase) 27#ifdef CONFIG_BENCHMARK_USE_KERNEL_LOG_BUFFER 28#define PPTR_TOP 0xffe00000 29#define KS_LOG_PPTR PPTR_TOP 30#else 31#define PPTR_TOP 0xfff00000 32#endif /* CONFIG_BENCHMARK_USE_KERNEL_LOG_BUFFER */ 33#define PADDR_TOP (PPTR_TOP - BASE_OFFSET) 34 35#endif /* __ARCH_HARDWARE_32_H */ 36