sh_bios.h 743 B

1234567891011121314151617181920212223242526272829
  1. /* SPDX-License-Identifier: GPL-2.0 */
  2. #ifndef __ASM_SH_BIOS_H
  3. #define __ASM_SH_BIOS_H
  4. #ifdef CONFIG_SH_STANDARD_BIOS
  5. /*
  6. * Copyright (C) 2000 Greg Banks, Mitch Davis
  7. * C API to interface to the standard LinuxSH BIOS
  8. * usually from within the early stages of kernel boot.
  9. */
  10. extern void sh_bios_console_write(const char *buf, unsigned int len);
  11. extern void sh_bios_gdb_detach(void);
  12. extern void sh_bios_get_node_addr(unsigned char *node_addr);
  13. extern void sh_bios_shutdown(unsigned int how);
  14. extern void sh_bios_vbr_init(void);
  15. extern void sh_bios_vbr_reload(void);
  16. #else
  17. static inline void sh_bios_vbr_init(void) { }
  18. static inline void sh_bios_vbr_reload(void) { }
  19. #endif /* CONFIG_SH_STANDARD_BIOS */
  20. #endif /* __ASM_SH_BIOS_H */