/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
 * ccbv2.h - common defines between OP-TEE and barebox
 *
 * Copyright (c) 2019 Rouven Czerwinski <r.czerwinski@pengutronix.de>, Pengutronix
 *
 */
#ifndef __CCBV2_H_
#define __CCBV2_H_

/* MX6UL_MMDC_PORT0_BASE_ADDR + SZ_64M */
#define OPTEE_OVERLAY_LOCATION 	0x84000000


#endif // __CCBV2_H_