151 static void __init xdbc_bios_handoff(void)  in xdbc_bios_handoff()  argument
226 static void xdbc_mem_init(void)  in xdbc_mem_init()  argument
367 static void xdbc_reset_debug_port(void)  in xdbc_reset_debug_port()  argument
418 static int xdbc_start(void)  in xdbc_start()  argument
525 static int xdbc_handle_external_reset(void)  in xdbc_handle_external_reset()  argument
554 static int __init xdbc_early_setup(void)  in xdbc_early_setup()  argument
655 int __init early_xdbc_setup_hardware(void)  in early_xdbc_setup_hardware()  argument
751 static void xdbc_handle_events(void)  in xdbc_handle_events()  argument
912 void __init early_xdbc_register_console(void)  in early_xdbc_register_console()  argument
925 static void xdbc_unregister_console(void)  in xdbc_unregister_console()  argument
955 static int __init xdbc_init(void)  in xdbc_init()  argument