/*
 * OP-TEE related definitions
 *
 * (C) Copyright 2016 Linaro Limited
 * Andrew F. Davis <andrew.davis@xxxxxxxxxx>
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */

#ifndef _OPTEE_H
#define _OPTEE_H

#include <types.h>
#include <asm-generic/errno.h>

#define OPTEE_MAGIC             0x4554504f
#define OPTEE_VERSION           1
#define OPTEE_ARCH_ARM32        0
#define OPTEE_ARCH_ARM64        1

struct optee_header {
	uint32_t magic;
	uint8_t version;
	uint8_t arch;
	uint16_t flags;
	uint32_t init_size;
	uint32_t init_load_addr_hi;
	uint32_t init_load_addr_lo;
	uint32_t init_mem_usage;
	uint32_t paged_size;
};

int optee_verify_header (struct optee_header *hdr);

#endif /* _OPTEE_H */