/*
 * Copyright (c) 2018, Arm Limited. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef IVY_DEF_H
#define IVY_DEF_H

/*
 * Layout of the Secure Partition image.
 */

/* Up to 2 MiB at an arbitrary address that doesn't overlap the devices. */
#define IVY_IMAGE_BASE			ULL(0x90000000)
#define IVY_IMAGE_SIZE			ULL(0x200000)

/* Memory reserved for stacks */
#define IVY_STACKS_SIZE			ULL(0x1000)

/* Memory shared between EL3 and S-EL0 (64 KiB). */
#define IVY_SPM_BUF_BASE		(IVY_IMAGE_BASE + IVY_IMAGE_SIZE)
#define IVY_SPM_BUF_SIZE		ULL(0x10000)

/* Memory shared between Normal world and S-EL0 (64 KiB). */
#define IVY_NS_BUF_BASE			(IVY_SPM_BUF_BASE + IVY_SPM_BUF_SIZE)
#define IVY_NS_BUF_SIZE			ULL(0x10000)

/*
 * UUIDs of Secure Services provided by Cactus
 */

#define IVY_SERVICE1_UUID	U(0x76543210), U(0x89ABCDEF), U(0x76543210), U(0xFEDCBA98)

#define IVY_SERVICE1_UUID_RD	U(0x76543210) U(0x89ABCDEF) U(0x76543210) U(0xFEDCBA98)

/*
 * Service IDs
 */
/* Print a magic number unique to IVY and return */
#define IVY_PRINT_MAGIC			U(1001)
/* Return a magic number unique to IVY */
#define IVY_GET_MAGIC			U(1002)
/* Sleep for a number of milliseconds */
#define IVY_SLEEP_MS			U(1003)

#define IVY_MAGIC_NUMBER		U(0x97531842)

#endif /* IVY_DEF_H */