b2441318 |
1 | /* SPDX-License-Identifier: GPL-2.0 */ |
767bf7e7 RK |
2 | #ifndef REBOOT_H |
3 | #define REBOOT_H |
4 | |
045ab94e |
5 | extern void call_with_stack(void (*fn)(void *), void *arg, void *sp); |
767bf7e7 RK |
6 | extern void _soft_restart(unsigned long addr, bool disable_l2); |
7 | |
8 | #endif |