39 lines
1.1 KiB
C
39 lines
1.1 KiB
C
|
/*
|
||
|
|
* Copyright (c) 2013 Samsung Electronics Co., Ltd All Rights Reserved
|
||
|
|
*
|
||
|
|
* This software is licensed under the terms of the GNU General Public
|
||
|
|
* License version 2, as published by the Free Software Foundation, and
|
||
|
|
* may be copied, distributed, and modified under those terms.
|
||
|
|
*
|
||
|
|
* This program is distributed in the hope that it will be useful,
|
||
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||
|
|
* GNU General Public License for more details.
|
||
|
|
*/
|
||
|
|
|
||
|
|
#ifndef __TZ_HOTPLUG_H__
|
||
|
|
#define __TZ_HOTPLUG_H__
|
||
|
|
|
||
|
|
#include <linux/compiler.h>
|
||
|
|
#include <linux/kconfig.h>
|
||
|
|
|
||
|
|
#if IS_MODULE(CONFIG_TZDEV)
|
||
|
|
int tz_hotplug_init(void);
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#ifdef CONFIG_TZDEV_HOTPLUG
|
||
|
|
void tz_hotplug_update_nwd_cpu_mask(unsigned long new_mask);
|
||
|
|
void tz_hotplug_notify_swd_cpu_mask_update(void);
|
||
|
|
|
||
|
|
#else
|
||
|
|
static inline void tz_hotplug_update_nwd_cpu_mask(unsigned long new_mask)
|
||
|
|
{
|
||
|
|
(void) new_mask;
|
||
|
|
}
|
||
|
|
static inline void tz_hotplug_notify_swd_cpu_mask_update(void)
|
||
|
|
{
|
||
|
|
}
|
||
|
|
#endif /* CONFIG_TZDEV_HOTPLUG */
|
||
|
|
|
||
|
|
#endif /* __TZ_HOTPLUG_H__ */
|