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 <cassert.h> 8 #include <cpu_data.h> 9 #include <platform_def.h> 10 11 /* The per_cpu_ptr_cache_t space allocation */ 12 cpu_data_t percpu_data[PLATFORM_CORE_COUNT]; 13