18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */
28c2ecf20Sopenharmony_ci#ifndef __ASM_SH_BIOS_H
38c2ecf20Sopenharmony_ci#define __ASM_SH_BIOS_H
48c2ecf20Sopenharmony_ci
58c2ecf20Sopenharmony_ci#ifdef CONFIG_SH_STANDARD_BIOS
68c2ecf20Sopenharmony_ci
78c2ecf20Sopenharmony_ci/*
88c2ecf20Sopenharmony_ci * Copyright (C) 2000 Greg Banks, Mitch Davis
98c2ecf20Sopenharmony_ci * C API to interface to the standard LinuxSH BIOS
108c2ecf20Sopenharmony_ci * usually from within the early stages of kernel boot.
118c2ecf20Sopenharmony_ci */
128c2ecf20Sopenharmony_ciextern void sh_bios_console_write(const char *buf, unsigned int len);
138c2ecf20Sopenharmony_ciextern void sh_bios_gdb_detach(void);
148c2ecf20Sopenharmony_ci
158c2ecf20Sopenharmony_ciextern void sh_bios_get_node_addr(unsigned char *node_addr);
168c2ecf20Sopenharmony_ciextern void sh_bios_shutdown(unsigned int how);
178c2ecf20Sopenharmony_ci
188c2ecf20Sopenharmony_ciextern void sh_bios_vbr_init(void);
198c2ecf20Sopenharmony_ciextern void sh_bios_vbr_reload(void);
208c2ecf20Sopenharmony_ci
218c2ecf20Sopenharmony_ci#else
228c2ecf20Sopenharmony_ci
238c2ecf20Sopenharmony_cistatic inline void sh_bios_vbr_init(void) { }
248c2ecf20Sopenharmony_cistatic inline void sh_bios_vbr_reload(void) { }
258c2ecf20Sopenharmony_ci
268c2ecf20Sopenharmony_ci#endif /* CONFIG_SH_STANDARD_BIOS */
278c2ecf20Sopenharmony_ci
288c2ecf20Sopenharmony_ci#endif /* __ASM_SH_BIOS_H */
29