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

source code of linux/arch/arm/kernel/reboot.h