Warning: This file is not a C or C++ file. It does not have highlighting.
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 |
Warning: This file is not a C or C++ file. It does not have highlighting.