[deliverable/linux.git] / arch / sh / include / asm / sh_bios.h

#ifndef __ASM_SH_BIOS_H
#define __ASM_SH_BIOS_H

#ifdef CONFIG_SH_STANDARD_BIOS

/*
 * Copyright (C) 2000 Greg Banks, Mitch Davis
 * C API to interface to the standard LinuxSH BIOS
 * usually from within the early stages of kernel boot.
 */
extern void sh_bios_console_write(const char *buf, unsigned int len);
extern void sh_bios_gdb_detach(void);

extern void sh_bios_get_node_addr(unsigned char *node_addr);
extern void sh_bios_shutdown(unsigned int how);

extern void sh_bios_vbr_init(void);
extern void sh_bios_vbr_reload(void);

#else

static inline void sh_bios_vbr_init(void) { }
static inline void sh_bios_vbr_reload(void) { }

#endif /* CONFIG_SH_STANDARD_BIOS */

#endif /* __ASM_SH_BIOS_H */
Commit	Line	Data
1da177e4 LT	1	#ifndef __ASM_SH_BIOS_H
	2	#define __ASM_SH_BIOS_H
	3
191d0d24 PM	4	#ifdef CONFIG_SH_STANDARD_BIOS
191d0d24 PM	5
1da177e4 LT	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	*/
1da177e4	11	extern void sh_bios_console_write(const char *buf, unsigned int len);
1da177e4 LT	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
191d0d24 PM	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
1da177e4	27	#endif /* __ASM_SH_BIOS_H */