#include "gdbcore.h"
#include "ieee-float.h"
-#ifdef USG
-#include <sys/types.h>
-#endif
-
-#include <sys/param.h>
-#include <signal.h>
-#include <sys/user.h>
-#include <sys/ioctl.h>
-#include <fcntl.h>
-
-#include <sys/file.h>
-#include <sys/stat.h>
-
-#include <sys/reg.h>
-
struct ext_format ext_format_i387 = {
/* tot sbyte smask expbyte manbyte */
10, 9, 0x80, 9,8, 4,0 /* i387 */
(status & 0x0400) != 0,
(status & 0x0200) != 0,
(status & 0x0100) != 0);
-
+
+ /* FIXME: Someone claims this should be 7 - (status >> 11) & 7 for AIX.
+ What's the story? Is the following just wrong or are differing
+ notations in use? */
printf ("top %d\n", (status >> 11) & 7);
}