1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * Copyright 2009-2010 Freescale Semiconductor, Inc.
12 void cpu_mp_lmb_reserve(struct lmb *lmb);
13 u32 determine_mp_bootpg(unsigned int *pagesize);
14 int is_core_disabled(int nr);
17 #define thread_to_core(x) (x >> 1)
19 #define thread_to_core(x) (x)