blob: 189ab81b77b6e192f204ebd39c60e7512ffeb812 [file] [log] [blame]
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00001/* 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