db_dump_fpstate
void db_dump_fpstate(db_expr_t, bool, db_expr_t, const char *);
{ DDB_ADD_CMD("fpstate", db_dump_fpstate,0,