kgdb: Respect that flush op is optional

Not all kgdb I/O drivers implement a flush operation. Adjust gdbstub_exit accordingly.

Jan Kiszka committed 14 years ago

Commit 9fbe4651 parent 639077f1 file · +2 −1Browse files

Showing the changes to kernel/debug (1 of 1 file). Show all

Unified · Split

@@ -1129,5 +1129,6 @@ void gdbstub_exit(int status) · 1128 unmodified lines
1129	1129	dbg_io_ops->write_char(hex_asc_lo(checksum));
1130	1130
1131	1131	/* make sure the output is flushed, lest the bootloader clobber it */
1132		− dbg_io_ops->flush();
	1132	+ if (dbg_io_ops->flush)
	1133	+ dbg_io_ops->flush();
1133	1134	}