1 /*
2  * Copyright (c) 2014-2016, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include <platform_def.h>
8 
9 #include <lib/cassert.h>
10 #include <lib/el3_runtime/cpu_data.h>
11 
12 /* The per_cpu_ptr_cache_t space allocation */
13 cpu_data_t percpu_data[PLATFORM_CORE_COUNT];
14