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