db_show_fault_cmd
{ DDB_ADD_CMD("fault", db_show_fault_cmd, 0,
void db_show_fault_cmd(db_expr_t, bool, db_expr_t, const char *);