1234567891011121314151617181920212223242526272829 |
- /* SPDX-License-Identifier: GPL-2.0 */
- #ifndef __ASM_SH_BIOS_H
- #define __ASM_SH_BIOS_H
- #ifdef CONFIG_SH_STANDARD_BIOS
- /*
- * Copyright (C) 2000 Greg Banks, Mitch Davis
- * C API to interface to the standard LinuxSH BIOS
- * usually from within the early stages of kernel boot.
- */
- extern void sh_bios_console_write(const char *buf, unsigned int len);
- extern void sh_bios_gdb_detach(void);
- extern void sh_bios_get_node_addr(unsigned char *node_addr);
- extern void sh_bios_shutdown(unsigned int how);
- extern void sh_bios_vbr_init(void);
- extern void sh_bios_vbr_reload(void);
- #else
- static inline void sh_bios_vbr_init(void) { }
- static inline void sh_bios_vbr_reload(void) { }
- #endif /* CONFIG_SH_STANDARD_BIOS */
- #endif /* __ASM_SH_BIOS_H */
|