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