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 KEYSTONE_LOW_PHYS_START		0x80000000ULL
10#define KEYSTONE_LOW_PHYS_SIZE		0x80000000ULL /* 2G */
11#define KEYSTONE_LOW_PHYS_END		(KEYSTONE_LOW_PHYS_START + \
12					 KEYSTONE_LOW_PHYS_SIZE - 1)
13
14#define KEYSTONE_HIGH_PHYS_START	0x800000000ULL
15#define KEYSTONE_HIGH_PHYS_SIZE		0x400000000ULL	/* 16G */
16#define KEYSTONE_HIGH_PHYS_END		(KEYSTONE_HIGH_PHYS_START + \
17					 KEYSTONE_HIGH_PHYS_SIZE - 1)
18#endif /* __MEMORY_H */
19