1 /* SPDX-License-Identifier: GPL-2.0-only */
2 /*
3  * Copyright(c) 2015 EZchip Technologies.
4  */
5 
6 #ifndef __PLAT_EZNPS_SMP_H
7 #define __PLAT_EZNPS_SMP_H
8 
9 #ifdef CONFIG_SMP
10 
11 extern void res_service(void);
12 
13 #endif /* CONFIG_SMP */
14 
15 #endif
16