Simplify the pager support in DDB. Allowing different db commands to

install custom pager functions didn't actually happen in practice (they
all just used the simple pager and passed in a local quit pointer).  So,
just hardcode the simple pager as the only pager and make it set a global
db_pager_quit flag that db commands can check when the user hits 'q' (or a
suitable variant) at the pager prompt.  Also, now that it's easy to do so,
enable paging by default for all ddb commands.  Any command that wishes to
honor the quit flag can do so by checking db_pager_quit.  Note that the
pager can also be effectively disabled by setting $lines to 0.

Other fixes:
- 'show idt' on i386 and pc98 now actually checks the quit flag and
  terminates early.
- 'show intr' now actually checks the quit flag and terminates early.

1 files changed, 2 insertions, 0 deletions

diff --git a/sys/ddb/db_output.h b/sys/ddb/db_output.h
index 7615ea6..480c40d 100644
--- a/sys/ddb/db_output.h
+++ b/sys/ddb/db_output.h
@@ -38,6 +38,8 @@
  * Printing routines for kernel debugger.
  */
 
+void	db_disable_pager(void);
+void	db_enable_pager(void);
 void	db_end_line(void);
 void	db_force_whitespace(void);
 int	db_print_position(void);