1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef __LINUX_RESET_SOCFPGA_H__ 3 #define __LINUX_RESET_SOCFPGA_H__ 4 5 void __init socfpga_reset_init(void); 6 7 #endif /* __LINUX_RESET_SOCFPGA_H__ */ 8