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  */
12 extern void sh_bios_console_write(const char *buf, unsigned int len);
13 extern void sh_bios_gdb_detach(void);
14 
15 extern void sh_bios_get_node_addr(unsigned char *node_addr);
16 extern void sh_bios_shutdown(unsigned int how);
17 
18 extern void sh_bios_vbr_init(void);
19 extern void sh_bios_vbr_reload(void);
20 
21 #else
22 
sh_bios_vbr_init(void)23 static inline void sh_bios_vbr_init(void) { }
sh_bios_vbr_reload(void)24 static inline void sh_bios_vbr_reload(void) { }
25 
26 #endif /* CONFIG_SH_STANDARD_BIOS */
27 
28 #endif /* __ASM_SH_BIOS_H */
29