| Andrew Thoelke | 8c28fe0 | 2014-06-02 11:40:35 +0100 | [diff] [blame] | 1 | /* |
| Soby Mathew | 0d78607 | 2016-03-24 16:56:29 +0000 | [diff] [blame] | 2 | * Copyright (c) 2014-2016, ARM Limited and Contributors. All rights reserved. |
| Andrew Thoelke | 8c28fe0 | 2014-06-02 11:40:35 +0100 | [diff] [blame] | 3 | * |
| dp-arm | fa3cf0b | 2017-05-03 09:38:09 +0100 | [diff] [blame] | 4 | * SPDX-License-Identifier: BSD-3-Clause |
| Andrew Thoelke | 8c28fe0 | 2014-06-02 11:40:35 +0100 | [diff] [blame] | 5 | */ |
| 6 | |
| 7 | #include <cassert.h> |
| 8 | #include <cpu_data.h> |
| 9 | #include <platform_def.h> |
| 10 | |
| Andrew Thoelke | 8c28fe0 | 2014-06-02 11:40:35 +0100 | [diff] [blame] | 11 | /* The per_cpu_ptr_cache_t space allocation */ |
| 12 | cpu_data_t percpu_data[PLATFORM_CORE_COUNT]; |