| /* | |
| * (C) Copyright 2012 | |
| * Marvell Semiconductor <www.marvell.com> | |
| * Written-by: Jane Li <jiel@marvell.com> | |
| * | |
| * SPDX-License-Identifier: GPL-2.0+ | |
| */ | |
| #ifndef MMP_IDLE_H_ | |
| #define MMP_IDLE_H_ | |
| extern void cp_msa_sleep(void); | |
| extern void set_idle_count(u32 cpu, u32 val); | |
| #endif | |