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