void db_display_save(db_expr_t addr, int have_addr, db_expr_t count, char * modif);
void db_display_xregs(db_expr_t addr, int have_addr, db_expr_t count, char * modif);
void db_display_kmod(db_expr_t addr, int have_addr, db_expr_t count, char * modif);
void db_gsnoop(db_expr_t addr, int have_addr, db_expr_t count, char * modif);
void db_display_save(db_expr_t addr, int have_addr, db_expr_t count, char * modif);
void db_display_xregs(db_expr_t addr, int have_addr, db_expr_t count, char * modif);
void db_display_kmod(db_expr_t addr, int have_addr, db_expr_t count, char * modif);
void db_gsnoop(db_expr_t addr, int have_addr, db_expr_t count, char * modif);