1 /* SPDX-License-Identifier: GPL-2.0+ */ 2 /* 3 * Copyright 2009-2010 Freescale Semiconductor, Inc. 4 */ 5 6 #ifndef _ASM_MP_H_ 7 #define _ASM_MP_H_ 8 9 #include <lmb.h> 10 11 void setup_mp(void); 12 void cpu_mp_lmb_reserve(struct lmb *lmb); 13 u32 determine_mp_bootpg(unsigned int *pagesize); 14 int is_core_disabled(int nr); 15 16 #ifdef CONFIG_E6500 17 #define thread_to_core(x) (x >> 1) 18 #else 19 #define thread_to_core(x) (x) 20 #endif 21 22 #endif 23