Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | #ifndef __ASM_SH_BIOS_H |
| 2 | #define __ASM_SH_BIOS_H |
| 3 | |
Paul Mundt | 191d0d2 | 2010-01-12 14:50:43 +0900 | [diff] [blame^] | 4 | #ifdef CONFIG_SH_STANDARD_BIOS |
| 5 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 6 | /* |
| 7 | * Copyright (C) 2000 Greg Banks, Mitch Davis |
| 8 | * C API to interface to the standard LinuxSH BIOS |
| 9 | * usually from within the early stages of kernel boot. |
| 10 | */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 11 | extern void sh_bios_console_write(const char *buf, unsigned int len); |
| 12 | extern void sh_bios_char_out(char ch); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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 | |
Paul Mundt | 191d0d2 | 2010-01-12 14:50:43 +0900 | [diff] [blame^] | 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 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 28 | #endif /* __ASM_SH_BIOS_H */ |