blob: 8ebf5c41efff4afd189161a724638f4440fa1a8b [file] [log] [blame]
developer65014b82015-04-13 14:47:57 +08001/*
2 * Copyright (c) 2015, ARM Limited and Contributors. All rights reserved.
3 *
dp-armfa3cf0b2017-05-03 09:38:09 +01004 * SPDX-License-Identifier: BSD-3-Clause
developer65014b82015-04-13 14:47:57 +08005 */
6#ifndef __SPM_HOTPLUG_H__
7#define __SPM_HOTPLUG_H__
8
9void spm_clear_hotplug(void);
10void spm_hotplug_off(unsigned long mpidr);
11void spm_hotplug_on(unsigned long mpidr);
12
13#endif /* __SPM_HOTPLUG_H__ */