/* SPDX-License-Identifier: (GPL-2.0+ OR MIT) */ | |
/* | |
* Copyright (c) 2019 Amlogic, Inc. All rights reserved. | |
*/ | |
#ifndef __CORE_H__ | |
#define __CORE_H__ | |
int get_core_mpidr(unsigned int cpuid); | |
int get_core_idx(unsigned int mpidr); | |
int get_core_max(void); | |
#endif |