2014-04-01 19:19:22 +01:00
|
|
|
/*
|
2016-01-28 17:22:16 +00:00
|
|
|
* Copyright (c) 2014-2016, ARM Limited and Contributors. All rights reserved.
|
2014-04-01 19:19:22 +01:00
|
|
|
*
|
2017-05-03 09:38:09 +01:00
|
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
2014-04-01 19:19:22 +01:00
|
|
|
*/
|
|
|
|
|
2016-01-28 17:22:16 +00:00
|
|
|
#if ERROR_DEPRECATED
|
|
|
|
#error "Using deprecated TZC-400 source file"
|
|
|
|
#else
|
|
|
|
#include "../tzc/tzc400.c"
|
|
|
|
#endif /* ERROR_DEPRECATED */
|