1b2441318SGreg Kroah-Hartman /* SPDX-License-Identifier: GPL-2.0 */ 2f15cbe6fSPaul Mundt #ifndef __ASM_SH_BIOS_H 3f15cbe6fSPaul Mundt #define __ASM_SH_BIOS_H 4f15cbe6fSPaul Mundt 5191d0d24SPaul Mundt #ifdef CONFIG_SH_STANDARD_BIOS 6191d0d24SPaul Mundt 7f15cbe6fSPaul Mundt /* 8f15cbe6fSPaul Mundt * Copyright (C) 2000 Greg Banks, Mitch Davis 9f15cbe6fSPaul Mundt * C API to interface to the standard LinuxSH BIOS 10f15cbe6fSPaul Mundt * usually from within the early stages of kernel boot. 11f15cbe6fSPaul Mundt */ 12f15cbe6fSPaul Mundt extern void sh_bios_console_write(const char *buf, unsigned int len); 13f15cbe6fSPaul Mundt extern void sh_bios_gdb_detach(void); 14f15cbe6fSPaul Mundt 15f15cbe6fSPaul Mundt extern void sh_bios_get_node_addr(unsigned char *node_addr); 16f15cbe6fSPaul Mundt extern void sh_bios_shutdown(unsigned int how); 17f15cbe6fSPaul Mundt 18191d0d24SPaul Mundt extern void sh_bios_vbr_init(void); 19191d0d24SPaul Mundt extern void sh_bios_vbr_reload(void); 20191d0d24SPaul Mundt 21191d0d24SPaul Mundt #else 22191d0d24SPaul Mundt sh_bios_vbr_init(void)23191d0d24SPaul Mundtstatic inline void sh_bios_vbr_init(void) { } sh_bios_vbr_reload(void)24191d0d24SPaul Mundtstatic inline void sh_bios_vbr_reload(void) { } 25191d0d24SPaul Mundt 26191d0d24SPaul Mundt #endif /* CONFIG_SH_STANDARD_BIOS */ 27191d0d24SPaul Mundt 28f15cbe6fSPaul Mundt #endif /* __ASM_SH_BIOS_H */ 29