+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);
+