| developer | 65014b8 | 2015-04-13 14:47:57 +0800 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2015, ARM Limited and Contributors. All rights reserved. |
| 3 | * |
| dp-arm | fa3cf0b | 2017-05-03 09:38:09 +0100 | [diff] [blame^] | 4 | * SPDX-License-Identifier: BSD-3-Clause |
| developer | 65014b8 | 2015-04-13 14:47:57 +0800 | [diff] [blame] | 5 | */ |
| 6 | #ifndef __SPM_MCDI_H__ |
| 7 | #define __SPM_MCDI_H__ |
| 8 | |
| 9 | void spm_mcdi_wakeup_all_cores(void); |
| developer | b8925a2 | 2015-11-16 14:38:40 +0800 | [diff] [blame] | 10 | void spm_mcdi_prepare_for_mtcmos(void); |
| developer | 69a0383 | 2015-11-16 14:33:35 +0800 | [diff] [blame] | 11 | void spm_mcdi_prepare_for_off_state(unsigned long mpidr, unsigned int afflvl); |
| 12 | void spm_mcdi_finish_for_on_state(unsigned long mpidr, unsigned int afflvl); |
| developer | 65014b8 | 2015-04-13 14:47:57 +0800 | [diff] [blame] | 13 | |
| 14 | #endif /* __SPM_MCDI_H__ */ |