Commit | Line | Data |
---|---|---|
b2441318 | 1 | /* SPDX-License-Identifier: GPL-2.0 */ |
1da177e4 LT |
2 | #ifndef __ASM_SH_BIOS_H |
3 | #define __ASM_SH_BIOS_H | |
4 | ||
191d0d24 PM |
5 | #ifdef CONFIG_SH_STANDARD_BIOS |
6 | ||
1da177e4 LT |
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 | */ | |
1da177e4 | 12 | extern void sh_bios_console_write(const char *buf, unsigned int len); |
1da177e4 LT |
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 | ||
191d0d24 PM |
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 | ||
1da177e4 | 28 | #endif /* __ASM_SH_BIOS_H */ |