| 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 | */ |
| Antonio Nino Diaz | 5eb8837 | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 6 | #ifndef SPM_HOTPLUG_H |
| 7 | #define SPM_HOTPLUG_H |
| developer | 65014b8 | 2015-04-13 14:47:57 +0800 | [diff] [blame] | 8 | |
| 9 | void spm_clear_hotplug(void); |
| 10 | void spm_hotplug_off(unsigned long mpidr); |
| 11 | void spm_hotplug_on(unsigned long mpidr); |
| 12 | |
| Antonio Nino Diaz | 5eb8837 | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 13 | #endif /* SPM_HOTPLUG_H */ |