1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 /* 3 * Copyright 2014 Texas Instruments, Inc. 4 * Santosh Shilimkar <santosh.shilimkar@ti.com> 5 */ 6 #ifndef __MEMORY_H 7 #define __MEMORY_H 8 9 #define MAX_PHYSMEM_BITS 36 10 #define SECTION_SIZE_BITS 34 11 12 #define KEYSTONE_LOW_PHYS_START 0x80000000ULL 13 #define KEYSTONE_LOW_PHYS_SIZE 0x80000000ULL /* 2G */ 14 #define KEYSTONE_LOW_PHYS_END (KEYSTONE_LOW_PHYS_START + \ 15 KEYSTONE_LOW_PHYS_SIZE - 1) 16 17 #define KEYSTONE_HIGH_PHYS_START 0x800000000ULL 18 #define KEYSTONE_HIGH_PHYS_SIZE 0x400000000ULL /* 16G */ 19 #define KEYSTONE_HIGH_PHYS_END (KEYSTONE_HIGH_PHYS_START + \ 20 KEYSTONE_HIGH_PHYS_SIZE - 1) 21 #endif /* __MEMORY_H */ 22