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