| 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_HOTPLUG_H__ | ||||
| 7 | #define __SPM_HOTPLUG_H__ | ||||
| 8 | |||||
| 9 | void spm_clear_hotplug(void); | ||||
| 10 | void spm_hotplug_off(unsigned long mpidr); | ||||
| 11 | void spm_hotplug_on(unsigned long mpidr); | ||||
| 12 | |||||
| 13 | #endif /* __SPM_HOTPLUG_H__ */ | ||||