arch/arm/kernel/reboot.h - third_party/linux - Git at Google

 /* SPDX-License-Identifier: GPL-2.0 */
 #ifndef REBOOT_H
 #define REBOOT_H

 extern void call_with_stack(void (*fn)(void *), void *arg, void *sp);
 extern void _soft_restart(unsigned long addr, bool disable_l2);

 #endif
	/* SPDX-License-Identifier: GPL-2.0 */
	#ifndef REBOOT_H
	#define REBOOT_H

	extern void call_with_stack(void (fn)(void ), void arg, void sp);
	extern void _soft_restart(unsigned long addr, bool disable_l2);

	#endif