1#ifndef __ASM_SH_BIOS_H
 2#define __ASM_SH_BIOS_H
 3
 4#ifdef CONFIG_SH_STANDARD_BIOS
 5
 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 */
11extern void sh_bios_console_write(const char *buf, unsigned int len);
12extern void sh_bios_gdb_detach(void);
13
14extern void sh_bios_get_node_addr(unsigned char *node_addr);
15extern void sh_bios_shutdown(unsigned int how);
16
17extern void sh_bios_vbr_init(void);
18extern void sh_bios_vbr_reload(void);
19
20#else
21
22static inline void sh_bios_vbr_init(void) { }
23static inline void sh_bios_vbr_reload(void) { }
24
25#endif /* CONFIG_SH_STANDARD_BIOS */
26
27#endif /* __ASM_SH_BIOS_H */

 1#ifndef __ASM_SH_BIOS_H
 2#define __ASM_SH_BIOS_H
 3
 4#ifdef CONFIG_SH_STANDARD_BIOS
 5
 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 */
11extern void sh_bios_console_write(const char *buf, unsigned int len);
12extern void sh_bios_gdb_detach(void);
13
14extern void sh_bios_get_node_addr(unsigned char *node_addr);
15extern void sh_bios_shutdown(unsigned int how);
16
17extern void sh_bios_vbr_init(void);
18extern void sh_bios_vbr_reload(void);
19
20#else
21
22static inline void sh_bios_vbr_init(void) { }
23static inline void sh_bios_vbr_reload(void) { }
24
25#endif /* CONFIG_SH_STANDARD_BIOS */
26
27#endif /* __ASM_SH_BIOS_H */