The kernel debugger no longer uses dprintf() but kprintf() when printing

(dprintf() locks using acquire_spinlock() which can itself drop into the
kernel debugger, causing an endless loop (until the stack was full).
Removed debug_putchar().
The gdb interface is now calling arch_debug_serial_*() directly.


git-svn-id: file:///srv/svn/repos/haiku/haiku/trunk@13882 a95241bf-73f2-0310-859d-f6bbb57e9c96
This commit is contained in:
Axel Dörfler
2005-08-02 16:25:27 +00:00
parent 0a51327f98
commit ed65cbe349
3 changed files with 65 additions and 64 deletions
-1
View File
@@ -31,7 +31,6 @@ extern "C" {
extern status_t debug_init(struct kernel_args *args);
extern status_t debug_init_post_vm(struct kernel_args *args);
extern void debug_early_boot_message(const char *string);
extern void debug_putchar(char c);
extern void debug_puts(const char *s);
extern void _user_debug_output(const char *userString);