2015-04-13 07:47:57 +01:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2015, ARM Limited and Contributors. All rights reserved.
|
|
|
|
*
|
2017-05-03 09:38:09 +01:00
|
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
2015-04-13 07:47:57 +01:00
|
|
|
*/
|
|
|
|
#ifndef __SPM_HOTPLUG_H__
|
|
|
|
#define __SPM_HOTPLUG_H__
|
|
|
|
|
|
|
|
void spm_clear_hotplug(void);
|
|
|
|
void spm_hotplug_off(unsigned long mpidr);
|
|
|
|
void spm_hotplug_on(unsigned long mpidr);
|
|
|
|
|
|
|
|
#endif /* __SPM_HOTPLUG_H__ */
|