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 23 static inline void sh_bios_vbr_init(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