diff options
author | Kevin Buettner <kevinb@redhat.com> | 2000-07-30 01:48:28 +0000 |
---|---|---|
committer | Kevin Buettner <kevinb@redhat.com> | 2000-07-30 01:48:28 +0000 |
commit | fba45db2faf619e71856ee38ec63949c0ef6903e (patch) | |
tree | 107efc21d2b12f54d84b59e75251449e3d5fd096 /gdb/i387-tdep.c | |
parent | 29e6d33b03a5e39540d17bc8235573b1dac13341 (diff) | |
download | gdb-fba45db2faf619e71856ee38ec63949c0ef6903e.zip gdb-fba45db2faf619e71856ee38ec63949c0ef6903e.tar.gz gdb-fba45db2faf619e71856ee38ec63949c0ef6903e.tar.bz2 |
Protoization.
Diffstat (limited to 'gdb/i387-tdep.c')
-rw-r--r-- | gdb/i387-tdep.c | 20 |
1 files changed, 6 insertions, 14 deletions
diff --git a/gdb/i387-tdep.c b/gdb/i387-tdep.c index 4f180fa..88b65a4 100644 --- a/gdb/i387-tdep.c +++ b/gdb/i387-tdep.c @@ -34,17 +34,13 @@ void i387_to_double (char *from, char *to); void double_to_i387 (char *from, char *to); void -i387_to_double (from, to) - char *from; - char *to; +i387_to_double (char *from, char *to) { floatformat_to_double (&floatformat_i387_ext, from, (double *) to); } void -double_to_i387 (from, to) - char *from; - char *to; +double_to_i387 (char *from, char *to) { floatformat_from_double (&floatformat_i387_ext, (double *) from, to); } @@ -60,8 +56,7 @@ static void print_387_control_bits (unsigned int control); static void print_387_status_bits (unsigned int status); static void -print_387_control_bits (control) - unsigned int control; +print_387_control_bits (unsigned int control) { switch ((control >> 8) & 3) { @@ -117,8 +112,7 @@ print_387_control_bits (control) } void -print_387_control_word (control) - unsigned int control; +print_387_control_word (unsigned int control) { printf_filtered ("control %s:", local_hex_string(control & 0xffff)); print_387_control_bits (control); @@ -126,8 +120,7 @@ print_387_control_word (control) } static void -print_387_status_bits (status) - unsigned int status; +print_387_status_bits (unsigned int status) { printf_unfiltered (" flags %d%d%d%d; ", (status & 0x4000) != 0, @@ -149,8 +142,7 @@ print_387_status_bits (status) } void -print_387_status_word (status) - unsigned int status; +print_387_status_word (unsigned int status) { printf_filtered ("status %s:", local_hex_string (status & 0xffff)); print_387_status_bits (status); |