/* SPDX-License-Identifier: GPL-2.0-only */ /* * Copyright(c) 2015 EZchip Technologies. */ #ifndef __PLAT_EZNPS_SMP_H #define __PLAT_EZNPS_SMP_H #ifdef CONFIG_SMP extern void res_service(void); #endif /* CONFIG_SMP */ #endif