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