/* * 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. */externvoidsh_bios_console_write(constchar*buf,unsignedintlen);externvoidsh_bios_gdb_detach(void);externvoidsh_bios_get_node_addr(unsignedchar*node_addr);externvoidsh_bios_shutdown(unsignedinthow);