-extern void db_display_kmod(db_expr_t addr, int have_addr, db_expr_t count, char * modif);
-extern void db_display_real(db_expr_t addr, int have_addr, db_expr_t count, char * modif);
-extern void db_display_iokit(db_expr_t addr, int have_addr, db_expr_t count, char * modif);
-extern void db_cpuid(db_expr_t addr, int have_addr, db_expr_t count, char * modif);
-extern void db_msr(db_expr_t addr, int have_addr, db_expr_t count, char * modif);
-extern void db_apic(db_expr_t addr, int have_addr, db_expr_t count, char * modif);
-extern void db_test(db_expr_t addr, int have_addr, db_expr_t count, char * modif);
-extern void db_intcnt(db_expr_t addr, int have_addr, db_expr_t count, char * modif);
-extern void db_display_hpet(hpetReg_t *hpt);
-extern void db_hpet(db_expr_t addr, int have_addr, db_expr_t count, char * modif);
-extern void db_cfg(db_expr_t addr, int have_addr, db_expr_t count, char * modif);
-extern void db_dtimers(db_expr_t addr, int have_addr, db_expr_t count, char * modif);
+extern void db_display_kmod(db_expr_t addr, boolean_t have_addr,
+ db_expr_t count, char *modif);
+extern void db_display_real(db_expr_t addr, boolean_t have_addr,
+ db_expr_t count, char *modif);
+extern void db_display_iokit(db_expr_t addr, boolean_t have_addr,
+ db_expr_t count, char * modif);
+extern void db_cpuid(db_expr_t addr, boolean_t have_addr, db_expr_t count,
+ char *modif);
+extern void db_msr(db_expr_t addr, boolean_t have_addr, db_expr_t count,
+ char *modif);
+extern void db_apic(db_expr_t addr, boolean_t have_addr, db_expr_t count,
+ char *modif);
+extern void db_display_hpet(hpetReg_t *);
+extern void db_hpet(db_expr_t addr, boolean_t have_addr, db_expr_t count,
+ char *modif);