/* 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 */
|
