| 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); |
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 12 | extern void sh_bios_gdb_detach(void); |
| 13 | |
| 14 | extern void sh_bios_get_node_addr(unsigned char *node_addr); |
| 15 | extern void sh_bios_shutdown(unsigned int how); |
| 16 | |
| Paul Mundt | 191d0d2 | 2010-01-12 14:50:43 +0900 | [diff] [blame] | 17 | extern void sh_bios_vbr_init(void); |
| 18 | extern void sh_bios_vbr_reload(void); |
| 19 | |
| 20 | #else |
| 21 | |
| 22 | static inline void sh_bios_vbr_init(void) { } |
| 23 | static inline void sh_bios_vbr_reload(void) { } |
| 24 | |
| 25 | #endif /* CONFIG_SH_STANDARD_BIOS */ |
| 26 | |
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 27 | #endif /* __ASM_SH_BIOS_H */ |