1 /*
2  * Copyright 2014-2015, Freescale Semiconductor
3  *
4  * SPDX-License-Identifier:	GPL-2.0+
5  */
6 
7 int fsl_qoriq_core_to_cluster(unsigned int core);
8 u32 initiator_type(u32 cluster, int init_id);
9 u32 cpu_mask(void);
10