1 /*
2  * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3  *
4  * SPDX-License-Identifier: GPL-2.0-only
5  */
6 
7 #ifdef CONFIG_HAVE_FPU
8 #include <arch/machine/fpu.h>
9 
10 bool_t isFPUEnabledCached[CONFIG_MAX_NUM_NODES];
11 #endif
12