/* SPDX-License-Identifier: BSD-2-Clause */
/*
 * Copyright (c) 2014, STMicroelectronics International N.V.
 * All rights reserved.
 */

#ifndef __TA_KEYBOX_H
#define __TA_KEYBOX_H

#define TA_KEYBOX_UUID  { 0x8c6cf810, 0x685d, 0x4654, \
	{ 0xae, 0x71, 0x80, 0x31, 0xbe, 0xee, 0x46, 0x7e } }

#define TA_KEY_READ		1
#define TA_KEY_WRITE		2
#define TA_KEY_RNG		3
#define TA_KEY_VER		4

#endif /* __TA_KEYBOX_H */