| 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 |
| 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 |