blob: 13d464c974f3f8f8f407af35cf5c2193d23d1ab6 [file] [log] [blame]
Andrew Thoelke8c28fe02014-06-02 11:40:35 +01001/*
Soby Mathew0d786072016-03-24 16:56:29 +00002 * Copyright (c) 2014-2016, ARM Limited and Contributors. All rights reserved.
Andrew Thoelke8c28fe02014-06-02 11:40:35 +01003 *
dp-armfa3cf0b2017-05-03 09:38:09 +01004 * SPDX-License-Identifier: BSD-3-Clause
Andrew Thoelke8c28fe02014-06-02 11:40:35 +01005 */
6
Andrew Thoelke8c28fe02014-06-02 11:40:35 +01007#include <platform_def.h>
8
Antonio Nino Diaze0f90632018-12-14 00:18:21 +00009#include <lib/cassert.h>
10#include <lib/el3_runtime/cpu_data.h>
11
Andrew Thoelke8c28fe02014-06-02 11:40:35 +010012/* The per_cpu_ptr_cache_t space allocation */
13cpu_data_t percpu_data[PLATFORM_CORE_COUNT];