xref: /openbmc/u-boot/arch/arm/cpu/armv8/s32v234/cpu.h (revision 88dc4099)
1 /* SPDX-License-Identifier: GPL-2.0+ */
2 /*
3  * (C) Copyright 2014-2016, Freescale Semiconductor, Inc.
4  */
5 
6 u32 cpu_mask(void);
7 int cpu_numcores(void);
8