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 11void setup_mp(void); 12void cpu_mp_lmb_reserve(struct lmb *lmb); 13u32 determine_mp_bootpg(unsigned int *pagesize); 14int 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