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