GNU Linux-libre 4.19.264-gnu1
[releases.git] / arch / arm / kernel / reboot.h
1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef REBOOT_H
3 #define REBOOT_H
4
5 extern void call_with_stack(void (*fn)(void *), void *arg, void *sp);
6 extern void _soft_restart(unsigned long addr, bool disable_l2);
7
8 #endif