1 /*
2  * Copyright (c) 2015, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
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 */
14