1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef __ASM_SH_BIOS_H
 3#define __ASM_SH_BIOS_H
 4
 5#ifdef CONFIG_SH_STANDARD_BIOS
 6
 7/*
 8 * Copyright (C) 2000 Greg Banks, Mitch Davis
 9 * C API to interface to the standard LinuxSH BIOS
10 * usually from within the early stages of kernel boot.
11 */
12extern void sh_bios_console_write(const char *buf, unsigned int len);
13extern void sh_bios_gdb_detach(void);
14
15extern void sh_bios_get_node_addr(unsigned char *node_addr);
16extern void sh_bios_shutdown(unsigned int how);
17
18extern void sh_bios_vbr_init(void);
19extern void sh_bios_vbr_reload(void);
20
21#else
22
23static inline void sh_bios_vbr_init(void) { }
24static inline void sh_bios_vbr_reload(void) { }
25
26#endif /* CONFIG_SH_STANDARD_BIOS */
27
28#endif /* __ASM_SH_BIOS_H */