2 * Copyright 2009-2010 Freescale Semiconductor, Inc.
4 * SPDX-License-Identifier: GPL-2.0+
13 void cpu_mp_lmb_reserve(struct lmb *lmb);
14 u32 determine_mp_bootpg(unsigned int *pagesize);
15 int is_core_disabled(int nr);
18 #define thread_to_core(x) (x >> 1)
20 #define thread_to_core(x) (x)